Epstein, R. L.; Buitrago-Díaz, E. A Propositional Logic of Temporal Connectives. LLP 2014, 24, 155–200.