On the canonicity of Sahlqvist identities

DOI10.1007/BF01057646zbMATH Open0810.03050OpenAlexW1547536896MaRDI QIDQ1338478FDOQ1338478

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)

Cites Work

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

Cited In (31)

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

This page was built for publication: On the canonicity of Sahlqvist identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1338478)