R. L. Epstein, “Reflections on temporal and modal logic”, LLP, vol. 24, no. 1, pp. 111–139, Aug. 2014.