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

by F Wolter, M Zakharyaschev
Venue:Ann. Pure Appl. Logic