On canonical modal logics that are not elementarily determined

Logique et Analyse

Volumn 46, Issue 181, 2003, Pages 77-101

  Goldblatt, Robert ^a   Hodkinson, Ian ^b   Venema, Yde ^c  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34248336060     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

1. J. L. Bell and A. B. Slomson. Models and Ultraproducts. North-HollandAmsterdam, 1969
2. M. J. Cresswell. A Henkin completeness theorem for T. Notre Dame Journalof Formal Logic, 8:186-190, 1967
3. Paul Erdos. Graph theory and probability. Canadian Journal ofMathematics, 11:34-38, 1959
4. Kit Fine. Logics containing K4. Part I. The Journal of Symbolic Logic39(l):31-42, 1974
5. Kit Fine. Some connections between elementary and modal logic. In StigKanger, editor, Proceedings of the Third Scandinavian Logic Symposium, pages15-31. North-Holland, 1975
6. Kit Fine. Logics containing K4. Part II. The Journal of Symbolic Logic50(3):619-651, 1985
7. T. Frayne, A. C. Morel, and D. S. Scott. Reduced direct productsFundamenta Mathematicae, 51:195-228, 1962
8. Robert Goldblatt. Metamathematics of Modal Logic. PhD thesis, VictoriaUniversity, Wellington, February 1974. Included in [12]
9. Robert Goldblatt. Varieties of complex algebras. Annals of Pure andApplied Logic, 44:173-242, 1989
10. Robert Goldblatt. The McKinsey axiom is not canonical. The Journal ofSymbolic Logic, 56:554-562, 1991
11. Robert Goldblatt. Elementary logics are canonical and pseudo-equationalIn [12], pages 243-257, 1993
12. Robert Goldblatt. Mathematics of Modality. CSLI Lecture Notes No. 43University PressCSLI Publications, Stanford, California, 1993. Distributed by Chicago UniversityPress
13. Robert Goldblatt. Elementary generation and canonicity for varieties ofwith operatorsBoolean algebras with operators. Algebra Universalis, 34:551-607, 1995
14. Robert Goldblatt. Persistence and atomic generation for varieties ofoperatorsBoolean algebras with operators. Studia Logica, 68(2): 155-171, 2001
15. Robert Goldblatt. Quasi-modal equivalence of canonical structures. TheJournal of Symbolic Logic, 66:497-508, 2001
16. Robert Goldblatt, Ian Hodkinson, and Yde Venema. Erdos graphs resolveFine's canonicity problem. The Bulletin of Symbolic Logic, 10(2): 186-208, 2004
17. Leon Henkin. The completeness of the first-order functional calculus. TheJournal of Symbolic Logic, 14:159-166, 1949
18. G. E. Hughes. Every world can see a reflexive world. Studia Logica49:175-181, 1990
19. Bjarni Jónsson. On the canonicity of Sahlqvist identities. StudiaLogica, 53:473-491, 1994
20. Bjarni Jónsson and Alfred Tarski. Boolean algebras with operatorspart I. American Journal of Mathematics, 73:891-939, 1951
21. Saul A. Kripke. Review of [23]. Mathematical Reviews, 34:1021-1022, 1967MR 34 #5661
22. A. H. Lachlan. A note on Thomason's refined structures for tense logicsTheoria, 40:117-120, 1974
23. E. J. Lemmon. Algebraic semantics for modal logics II. The Journal ofSymbolic Logic, 31:191-218, 1966
24. E. J. Lemmon. An Introduction to Modal Logic, volume 11 of Americanby Krister SegerbergPhilosophical Quarterly Monograph Series. Basil Blackwell, Oxford, 1977. Writtenin collaboration with Dana Scott. Edited by Krister Segerberg
25. E. J. Lemmon and D. Scott. Intensional logic. Preliminary draft ofinitial chapters by E. J. Lemmon, Stanford University (later published as [24]),July 1966
26. L. Lovász. On chromatic number of finite set-systems. Acta MathAcad. Sci. Hungar., 19:59-67, 1968
27. D. C. Makinson. On some completeness theorems in modal logic. Zeitschriftfür Mathematische Logik und Grundlagen der Mathematik, 12:379-384, 1966
28. Henrik Sahlqvist. Completeness and correspondence in the first and secondfor modal logicorder semantics for modal logic. In S. Kanger, editor, Proceedings of the ThirdScandinavian Logic Symposium, pages 110-143. North-Holland, 1975
29. Krister Segerberg. An Essay in Classical Modal Logic, volume 13 ofFilosofiska Studier. Uppsala Universitet, 1971
30. S. K. Thomason. Semantic analysis of tense logic. The Journal of SymbolicLogic, 37:150-158, 1972
31. S. K. Thomason. Reduction of tense logic to modal logic, I. The Journalof Symbolic Logic, 39:549-551, 1974
32. Yde Venema. Canonical pseudo-correspondence. In Michael ZakharyaschevWansing, editors, CSLI PublicationsKrister Segerberg, Maarten de Rijke, and Heinrich Wansing, editors, Advances inModal Logic Volume 2, pages 421-430. CSLI Publications, 2001
33. Frank Wolter. Properties of tense logics. Mathematical Logic Quarterly42:481-500, 1996
34. Frank Wolter. The structure of lattices of subframe logics. Annals ofPure and Applied Logic, 86:47-100, 1997
35. Michael Zakharyaschev. Canonical formulas for K4. Part II: Cofinalsubframe logics. The Journal of Symbolic Logic, 61(2):421-449, 1996