A Sahlqvist theorem for distributive modal logic

DOI10.1016/j.apal.2004.04.007zbMath1077.03009OpenAlexW2037711229MaRDI QIDQ705532

Yde Venema, Mai Gehrke, Hideo Nagahashi

Publication date: 31 January 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.04.007

zbMATH Keywords

dualitycorrespondence theorycanonical extensionslattice expansionscanonical logiccanonical varietiesdistributive modal algebrasdistributive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure and representation theory of distributive lattices (06D05)

Related Items (47)

Ockham's razor and reasoning about information flow ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Unnamed Item ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Complete congruences on topologies and down-set lattices ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Generalized Kripke frames ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Topological duality and algebraic completions ⋮ Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras ⋮ \(\Delta_1\)-completions of a poset. ⋮ Positive modal logic beyond distributivity ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Unary-determined distributive \(\ell \)-magmas and bunched implication algebras ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Duality and canonical extensions for stably compact spaces ⋮ On canonicity of poset expansions ⋮ Duality for double quasioperator algebras via their canonical extensions ⋮ Algorithmic correspondence for intuitionistic modal mu-calculus ⋮ Modes of adjointness ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Positive monotone modal logic ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Coalgebraic Completeness-via-Canonicity ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ Semi De Morgan logic properly displayed ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Canonical extensions and ultraproducts of polarities ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Unnamed Item ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$

Cites Work

• On the canonicity of Sahlqvist identities
• Constructive canonicity in non-classical logics
• A new semantics for positive modal logic
• Positive modal logic
• Varieties of complex algebras
• Simulating polyadic modal logics by monadic ones
• Categories of frames for modal logic
• Normal monomodal logics can simulate all others
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Bounded distributive lattice expansions
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• A Remark on Boolean Algebras with Operators
• Bounded lattice expansions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Sahlqvist theorem for distributive modal logic