Tense Logic Without Tense Operators
A Note on the Interpolation Property in Tense Logic
Properties of Tense Logics
4 Tense Logic