Epstein, R. L. Reflections on Temporal and Modal Logic. LLP 2014, 24, 111–139.