Some connections between elementary and modal logic

Studies in Logic and the Foundations of Mathematics

Volumn 82, Issue C, 1975, Pages 15-31

  Fine, Kit ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956977555     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)70723-7     Document Type: Article

References (11)

1. Bell, J.L., Slomson, A.B., Models and ultraproducts, an introduction, 1969, North-Holland, Amsterdam.
2. K. Fine Logics containing K4 I, J. Symbolic Logic, to appear.
3. K. Fine Compactness in modal logic, to appear.
4. R.I. Goldblatt First-order definability in modal logic, unpublished.
5. A.H. Lachlan A note on Thomason's refined structures for tense logic, Theoria, to appear.
6. S. Kochen, Ultraproducts in the theory of models, Ann. of Math. 74, 221–261.
7. Lemmon, E.J., Scott, D., Lemmon, E.J., (eds.) Intensional Logic, 1966, Stanford University, Dittoed Preliminary draft of initial chapters by.
8. McKinsey, J.C.C., On the syntactical construction of modal logic. J. Symbolic Logic 10 (1945), 83–96.
9. K. Segerberg An essay in classical modal logic (Uppsala, 1971).
10. Shelah, S., Every two elementarily equivalent models have isomorphic ultra-powers. Israel J. Math. 10 (1971), 224–233.
11. Thomason, S., Semantic analysis of tense logics. J. Symbolic Logic 37 (1972), 150–158.