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