R. L. Epstein and E. Buitrago-Díaz, “A propositional logic of temporal connectives”, LLP, vol. 24, no. 2, pp. 155–200, Sep. 2014.