Properties of tense logics (1996)

by Frank Wolter
Venue:Mathematical Logic Quarterly