Epstein, R. L. and Buitrago-Díaz, E. (2014) “A propositional logic of temporal connectives”, Logic and Logical Philosophy, 24(2), pp. 155–200. doi: 10.12775/LLP.2014.020.