Properties of tense logics

Mathematical Logic Quarterly

Volumn 42, Issue 4, 1996, Pages 481-500

  Wolter, Frank ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Complex variety; d persistency; Kripke semantics; Modal Logic; Strong completeness; Tense logic

Indexed keywords

EID: 0030516382     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19960420140     Document Type: Article

References (13)

1. VAN BENTHEM, J., Modal Logic and Classical Logic. Napoli, 1983.
2. FINE, K., Some connections between elementary and modal logic. In: Proceedings of the Third Scandinavian Logic Symposion (S. KANGER, ed.), North-Holland Publ. Comp., Amsterdam, 1975.
3. GABBAY, D., I. HODKINSON, and M. REYNOLDS, Temporal Logic. Oxford, 1994.
4. GOLDBLATT, R., Metamathematics of modal logic. Reports Math. Logic 6 (1976), 41 - 77; 7 (1976), 21 - 52.
5. GOLDBLATT, R., Metamathematics of modal logic. Reports Math. Logic 6 (1976), 41 - 77; 7 (1976), 21 - 52.
6. GOLDBLATT, R., Varieties of complex algebras. Annals Pure Appl. Logic 38 (1989), 173 - 241.
7. GOLDBLATT, R., Algebraic polymodal logic. In: Handbook of Algebraic Logic, forthcoming.
8. SAMBIN, G., and V. VACCARO, Topology and duality in modal logic. Annals Pure Appl. Logic 37 (1988), 249 - 296.
9. SCHUMM, G., Some compactness results in modal logic. Notre Dame J. Formal Logic 30 (1989), 285 - 290.
10. WANG, X., The McKinsey axiom is not compact. J. Symbolic Logic 57 (1992), 1230 - 1238.
11. WOLTER, F., Lattices of Modal Logics. PhD thesis, FU Berlin, 1993.
12. WOLTER, F., Tense Logic without tense operators. Math. Logic Quart. 42 (1996), 145 - 171.
13. WOLTER, F., A Note on the interpolation property in tense logic. To appear in J. Philos. Logic.