Erdős graphs resolve fine's canonicity problem
Bulletin of Symbolic Logic 10 (2):186-208 (2004)
| Abstract | We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of Thomason). The constructions use the result of Erd $\H{o}$ s that there are finite graphs with arbitrarily large chromatic number and girth | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKosta Došen (1989). Duality Between Modal Algebras and Neighbourhood Frames. Studia Logica 48 (2):219 - 234.
Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343 - 355.
Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso (2003). Squares in Fork Arrow Logic. Journal of Philosophical Logic 32 (4):343-355.
Marco Hollenberg (1998). Characterizations of Negative Definability in Modal Logic. Studia Logica 60 (3):357-386.
Timothy J. Surendonk (2001). Canonicity for Intensional Logics with Even Axioms. Journal of Symbolic Logic 66 (3):1141-1156.
Miklos Ajtai & Ronald Fagin (1990). Reachability is Harder for Directed Than for Undirected Finite Graphs. Journal of Symbolic Logic 55 (1):113-150.
Robert Goldblatt (2001). Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators. Studia Logica 68 (2):155-171.
Maarten De Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61 - 78.
Maarten de Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1).
Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,982 of 549,370 )Recent downloads (6 months)1 ( #63,397 of 549,370 )How can I increase my downloads? |
My notes
Discussion
