M.: Axiomatizing the monodic fragment of first-order temporal logic (2002)

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