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