Completeness and correspondence in the first and second order semantics for modal logic

Studies in Logic and the Foundations of Mathematics

Volumn 82, Issue C, 1975, Pages 110-143

  Sahlqvist, Henrik ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956968248     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)70728-6     Document Type: Article

References (24)

1. Fine, K., An incomplete logic containing S4. Theoria 40 (1974), 23–29.
2. Fine, K., Logics containing K4. J. Symbolic Logic 39 (1973), 31–42.
3. K. Fine Normal forms in modal logic, unpublished.
4. Fitch, F.B., A correlation between modal reduction principles and properties of relations. J. Philosophical Logic 2 (1973), 97–101.
5. Gabbay, D.M., A general filtration method for modal logics. J. Philosophical Logic 1 (1972), 29–34.
6. M. Gerson The inadequacy of the neighbourhood semantics for modal logic (January, 1973).
7. Hanson, W.H., Semantics for deontic logic. Logique et Analyse 8 (1965), 177–190.
8. Jónsson, B., Tarski, A., Boolean algebras with operators I. Amer. J. Math. 73 (1951), 891–939.
9. Kripke, S.A., Semantical analysis of modal logic I, Normal modal prepositional calculi. Z. Math. Logik Grundlagen Math. 9 (1963), 67–96.
10. Lemmon, E.J., Algebraic semantics for modal logic I and II. J. Symbolic Logic 31 (1966), 46–65 191–218.
11. E.J. Lemmon & D. Scott Intensional logic, Preliminary Draft of Initial Chapters by E.J. Lemmon, Stanford (July, 1966).
12. Prior, A., Past, present and future, 1967, Clarendon, Oxford.
13. Sahlqvist, H., A note on irreflexive, asymmetric and intransitive Kripke models, 1972, University of Oslo Preprint Series No. 11, Math. April 27.
14. Schumm, G., T, 54 and Henkinesque trees (abstract). J. Symbolic Logic, 37, 1972, 446.
15. Segerberg, K., Decidability of 54.1. Theoria 34 (1968), 7–20.
16. Segerberg, K., Decidability of four modal logics. Theoria 34 (1968), 21–25.
17. Segerberg, K., Modal logics with linear alternative relations. Theoria 36 (1970), 301–322.
18. K. Segerberg An essay in classical modal logic, Filosofiska studier utgivna av Filösofiska Foreningen och Filosofiska Institutionen vid Uppsala Universitet, Uppsala (1971).
19. Segerberg, K., Review of M.K. Rennie: On postulates for temporal order. J. Symbolic Logic, 37, 1972, 629.
20. Thomason, S.K., Semantic analysis of tense logic. J. Symbolic Logic 37 (1972), 155–158.
21. van Benthem, J.F.A.K. A note on modal formulas and relational properties J. Symbolic Logic, to appear.
22. R.I. Goldblatt, Metamathematics of modal logic (Unpublished doct. diss., Victoria University of Wellington, February 1974).
23. Hansen, B., Gärdenfors, P., A guide to intensional semantics. Modality, morality, and other problems of sense and nonsense, Essays dedicated to Soren Halldén, 1973, C.W.K. Gleerup, Lund, 151–167.
24. Thomason, S.K., An incompleteness theorem in modal logic. Theoria 40 (1974), 30–34.