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