Erdos graphs resolve fine's canonicity problem

Bulletin of Symbolic Logic

Volumn 10, Issue 2, 2004, Pages 186-208

  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

Boolean algebras with operators; Canonical extension; Elementary class; Modal logic; Random graphs; Variety

Indexed keywords

EID: 2942638193     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2178/bsl/1082986262     Document Type: Article

References (52)

1. G. BIRKHOFF, Subdirect unions in universal algebra, Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 764-768.
2. PATRICK BLACKBURN, MAARTEN DE RIJKE, and YDE VENEMA, Modal logic, Cambridge University Press, 2001.
3. W. J. BLOK, The lattice of modal logics: an algebraic investigation. The Journal of Symbolic Logic, vol. 45 (1980), pp. 221-236.
4. S. BURRIS and H. P. SANKAPPANAVAR, A course in universal algebra, Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York, 1981, available at www.thoralf.uwaterloo.ca/htdocs/ualg.html.
5. ALEXANDER CHAGROV and MICHAEL ZAKHARYASCHEV, Modal logic, Oxford University Press, 1997.
6. M. J. CRESSWELL. A Henkin completeness theorem for T, Notre Dame Journal of Formal Logic, vol. 8 (1967), pp. 186-190.
7. MAARTEN DE RIJKE and YDE VENEMA, Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras, Studia Logica, vol. 54 (1995), pp. 61-78.
8. R. DIESTEL, Graph theory. Graduate Texts in Mathematics, vol. 173, Springer-Verlag, Berlin, 1997.
9. PAUL ERDÖS. Graph theory and probability. Canadian Journal of Mathematics, vol. 11 (1959), pp. 34-38.
10. KIT FINE, Some connections between elementary and modal logic. In Kanger [39]. pp. 15-31.
11. _, Logics containing K4. Part II, The Journal of Symbolic Logic, vol. 50 (1985). no. 3, pp. 619-651.
12. D-separation axiom, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 37 (1991), pp. 5-15.
13. MAI GEHRKE, JOHN HARDING, and YDE VENEMA, MacNeille completions and canonical extensions, 2003, ILLC beta preprint PP-2004-05. Manuscript available at staff.science. uva.nl/~yde.
14. MAI GEHRKE and BJARNI JÓNSSON, Monotone bounded distributive lattice expansions. Mathematica Japonica, vol. 52 (2000), no. 2, pp. 197-213.
15. STEVEN GIVANT, Universal classes of simple relation algebras, The Journal of Symbolic Logic, vol. 64 (1999), no. 2, pp. 575-589.
16. ROBERT GOLDBLATT, Elementary logics are canonical and pseudo-equational, In [18], pp. 243-257.
17. _, Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173-242.
18. _, Mathematics of modality, CSLI Lecture Notes, vol. 43, CSLI Publications, Stanford, California, 1993, distributed by Cambridge University Press.
19. _, Elementary generation and canonicity for varieties of Boolean algebras with operators, Algebra Universalis. vol. 34 (1995), pp. 551-607.
20. _, Algebraic polymodal logic: a survey, Logic Journal of the IGPL. Interest Group in Pure and Applied Logics Special Issue on Algebraic Logic edited by István Németi and Ildikó Sain, vol. 8 (2000), no. 4, pp. 393-450, electronically available at: www3.oup.co.uk/igpl.
21. _, Persistence and atomic generation for varieties of Boolean algebras with operators, Studia Logica, vol. 68 (2001), no. 2, pp. 155-171.
22. _, Mathematical modal logic: a view of its evolution. Journal of Applied Logic, vol. 1 (2003), no. 5-6, pp. 309-392.
23. _, Questions of canonicity, Trends in logic - 50 years of Studia Logica (Vincent F. Hendricks and Jacek Malinowski, editors), Kluwer Academic Publishers. 2003, pp. 93-128.
24. ROBERT GOLDBLATT, IAN HODKINSON, and YDE VENEMA, On canonical modal logics that are not elementarily determined, Logique et Analyse, to appear.
25. L. HENKIN, J. D. MONK, A. TARSKI, H. ANDRÉKA, and I. NÉMETI, Cylindric set algebras, Lecture Notes in Mathematics, vol. 883, Springer-Verlag, Berlin, 1981.
26. LEON HENKIN, The completeness of the first-order functional calculus, The Journal of Symbolic Logic, vol. 14 (1949), pp. 159-166.
27. LEON HENKIN, J. DONALD MONK, and ALFRED TARSKI, Cylindric algebras I, Studies in Logic and the Foundations of Mathematics, vol. 64, North-Holland, Amsterdam, 1971.
28. _, Cylindric algebras II, Studies in Logic and the Foundations of Mathematics, vol. 115, North-Holland, Amsterdam, 1985.
29. ROBIN HIRSCH and IAN HODKINSON, Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam, 2002.
30. _, Strongly representable atom structures of relation algebras, Proceedings of the American Mathematical Society, vol. 130 (2002), pp. 1819-1831.
31. W. HODGES, Model theory. Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.
32. IAN HODKINSON and YDE VENEMA, Canonical varieties with no canonical axiomatisation, Transactions of the American Mathematical Society, to appear. ILLC beta preprint PP-2003-13. Manuscript available at staff.science.uva.nl/~yde.
33. G. E. HUGHES. Every world can see a reflexive world, Studia Logica, vol. 49 (1990), pp. 175-181.
34. BJARNI JÓNSSON, Varieties of relation algebras, Algebra Universalis, vol. 15 (1982), pp. 273-298.
35. _, On the canonicity of Sahlqvist identities, Studia Logica, vol. 53 (1994), pp. 473-491.
36. BJARNI JÓNSSON and ALFRED TARSKI, Boolean algebras with operators, Bulletin of the American Mathematical Society, vol. 54 (1948), pp. 79-80.
37. _, Boolean algebras with operators, part I, American Journal of Mathematics, vol. 73 (1951), pp. 891-939.
38. _, Boolean algebras with operators, part II, American Journal of Mathematics, vol. 74 (1952), pp. 127-162.
39. Stig Kanger (editor), Proceedings of the Third Scandinavian Logic Symposium, Studies in Logic and the Foundations of Mathematics, vol. 82, North-Holland, Amsterdam, 1975.
40. M. KRACHT, Tools and techniques in modal logic, Studies in Logic and the Foundations of Mathematics, vol. 142, North-Holland, Amsterdam, 1999.
41. A. H. LACHLAN, A note on Thomason's refined structures for tense logics, Theoria, vol. 40 (1974), pp. 117-120.
42. E. J. LEMMON and D. SCOTT, Intensional logic, preliminary draft of initial chapters by E. J. Lemmon, Stanford University (later published as An Introduction to Modal Logic, American Philosophical Quarterly Monograph Series, no. 11 (ed. by Krister Segerberg), Basil Blackwell, Oxford, 1977), July 1966.
43. R. MADDUX, Some varieties containing relation algebras, Transactions of the American Mathematical Society, vol. 272 (1982), no. 2, pp. 501-526.
44. D. C. MAKINSON, On some completeness theorems in modal logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 379-384.
45. J. C. C. MCKINSEY and ALFRED TARSKI, Some theorems about the sentential calculi of Lewis and Heyting, The Journal of Symbolic Logic, vol. 13 (1948), pp. 1-15.
46. HENRIK SAHLQVIST, Completeness and correspondence in the first and second order semantics for modal logic, In Ranger [39], pp. 110-143.
47. S. K. THOMASON, Reduction of second-order logic to modal logic, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 107-114.
48. _, Reduction offense logic to modal logic. II, Theoria, vol. 41 (1975), pp. 154-169.
49. YDE VENEMA, Canonical pseudo-correspondence, Advances in modal logic, vol. 2 (Michael Zakharyaschev. Krister Segerberg, Maarten de Rijke, and Heinrich Wansing, editors), vol. 119, CSLI Publications, 2001, pp. 421-430.
50. FRANK WOLTER, Properties of tense logics, Mathematical Logic Quarterly, vol. 42 (1996), pp. 481-500.
51. _, The structure of lattices of subframe logics, Annals of Pure and Applied Logic, vol. 86 (1997), pp. 47-100.
52. MICHAEL ZAKHARYASCHEV, Canonical formulas for K4. Part II. Cofinal subframe logics, The Journal of Symbolic Logic, vol. 61 (1996). no. 2, pp. 421-449.