Erdős Graphs Resolve Fine's Canonicity Problem

DOI10.2178/bsl/1082986262zbMath1060.03038OpenAlexW2144612483MaRDI QIDQ4678939

Robert Goldblatt, Yde Venema, I. M. Hodkinson

Publication date: 24 May 2005

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1082986262

zbMATH Keywords

equational classesKripke framesBoolean algebras with operatorsrelational structuresbimodal logicfirst-order definable class

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Modal logic (including the logic of norms) (03B45) Equational classes, universal algebra in model theory (03C05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Varieties (08B99)

Related Items

Decidability of modal logics of non-\(k\)-colorable graphs ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ MacNeille completions and canonical extensions ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Monadic bounded algebras ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Some results about neat reducts ⋮ Canonical extensions and ultraproducts of polarities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• Varieties of relation algebras
• Cylindric algebras. Part II
• Proceedings of the 3rd Scandinavian logic symposium
• Tools and techniques in modal logic
• On the canonicity of Sahlqvist identities
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• The structure of lattices of subframe logics
• Trends in logic. 50 years of Studia Logica
• Mathematical modal logic: A view of its evolution
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• A Henkin completeness theorem for T
• Every world can see a reflexive world
• Varieties of complex algebras
• Strongly representable atom structures of relation algebras
• Graph Theory and Probability
• Logics containing K4. Part II
• The lattice of modal logics: an algebraic investigation
• On Some Completeness Theorems in Modal Logic
• Reduction of second‐order logic to modal logic
• Universal classes of simple relation algebras
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Properties of Tense Logics
• The completeness of the first-order functional calculus
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Subdirect unions in universal algebra
• Persistence and atomic generation for varieties of Boolean algebras with operators