The Finite Model Property in Tense Logic

Wolter, Frank

Wolter, Frank

J. Symbolic Logic, Tome 60 (1995) no. 1, p. 757-774 / Harvested from Project Euclid

Résumé

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.

Publié le : 1995-09-14
Classification:

@article{1183744804,
     author = {Wolter, Frank},
     title = {The Finite Model Property in Tense Logic},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 757-774},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744804}
}

Wolter, Frank. The Finite Model Property in Tense Logic. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  757-774. http://gdmltest.u-ga.fr/item/1183744804/