THE FINITE-MODEL PROPERTY IN TENSE LOGIC

Authors
WOLTER F
Citation
F. Wolter, THE FINITE-MODEL PROPERTY IN TENSE LOGIC, The Journal of symbolic logic, 60(3), 1995, pp. 757-774
Citations number
9
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
60
Issue
3
Year of publication
1995
Pages
757 - 774
Database
ISI
SICI code
0022-4812(1995)60:3<757:TFPITL>2.0.ZU;2-I
Abstract
Tense logics in the bimodal propositional language are investigated wi th respect to the Finite Model Property. In order to prove positive re sults techniques from investigations of modal logics above K4 are exte nded to tense logic. General negative results show the limits of the t ransfer.