A counterexample in tense logic (1995)

by F Wolter