Axiomatizing the monodic fragment of first-order temporal logic (2001)

by F Wolter, M Zakharyaschev
Venue:Annals of Pure and Applied logic