Epstein, Richard L., and Esperanza Buitrago-Díaz. 2014. “A Propositional Logic of Temporal Connectives”. Logic and Logical Philosophy 24 (2):155–200. https://doi.org/10.12775/LLP.2014.020.