On the canonicity of Sahlqvist identities

DOI10.1007/BF01057646zbMath0810.03050OpenAlexW1547536896MaRDI QIDQ1338478

Bjarni Jónsson

Publication date: 1 December 1994

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01057646

zbMATH Keywords

modal logicBoolean algebras with operatorscanonicity of Sahlqvist identities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

$\aleph_1$ and the modal $\mu$-calculus, Profinite completions and canonical extensions of Heyting algebras, Algebraic modal correspondence: Sahlqvist and beyond, Boolean algebras arising from information systems, Coalgebraic completeness-via-canonicity for distributive substructural logics, Algorithmic correspondence and canonicity for distributive modal logic, Topological duality and algebraic completions, Extending maps to profinite completions in finitely generated quasivarieties, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}, Computing distributed knowledge as the greatest lower bound of knowledge, Mathematical modal logic: A view of its evolution, Duality and canonical extensions for stably compact spaces, Modal MTL-algebras, On canonicity of poset expansions, Canonical extensions of posets., CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Uniform interpolation and coherence, Tribute to Bjarni Jónsson, Canonical extensions: an algebraic approach to Stone duality, Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators, Coalgebraic Completeness-via-Canonicity, Bounded lattice expansions, A Sahlqvist theorem for distributive modal logic, Algorithmic correspondence and canonicity for non-distributive logics, Erdős Graphs Resolve Fine's Canonicity Problem, Elementary canonical formulae: extending Sahlqvist's theorem, Completion and finite embeddability property for residuated ordered algebras., Canonical extensions and ultraproducts of polarities, Unnamed Item, Unnamed Item

Cites Work

• Extending Boolean operations
• Varieties of complex algebras
• The lattice of modal logics: an algebraic investigation
• The McKinsey axiom is not canonical
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item