The finite model property in tense logic
Frank Wolter · Journal of Symbolic Logic · 1995
Abstract Tense logics in the bimodal propositional language are investigated with respect to the Finite Model Property. In order to prove positive results techniques from investigations of modal logics above K4 are extended to tense logic. General negative results show the limits of the transfer.