A Sahlqvist theorem for distributive modal logic

DOI10.1016/J.APAL.2004.04.007zbMATH Open1077.03009OpenAlexW2037711229MaRDI QIDQ705532FDOQ705532

Authors: Mai Gehrke, Hideo Nagahashi, Yde Venema 

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

Recommendations

• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• A new proof of Sahlqvist's theorem on modal definability and completeness
• A duality for distributive unimodal logic
• Constructive canonicity in non-classical logics

zbMATH Keywords

dualitycanonical extensionscorrespondence theorylattice 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)

Cites Work

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

Cited In (59)

• Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
• Positive modal logic beyond distributivity
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• Polynomial-time checking of generalized Sahlqvist syntactic shape
• Algebraic proof theory for LE-logics
• Modal reduction principles: a parametric shift to graphs
• Jónsson-style canonicity in distributive modal µ-calculus
• Topological duality and algebraic completions
• Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
• Algorithmic correspondence and canonicity for distributive modal logic
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Title not available (Why is that?)
• Syntactic Completeness of Proper Display Calculi
• Canonical extensions and canonicity via dcpo presentations
• Canonical extensions: an algebraic approach to Stone duality
• A Sahlqvist theorem for relevant modal logics
• A Note on ‘Distributive Terms, Truth, andThe Port Royal Logic’
• Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• A duality for distributive unimodal logic
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
• On the canonicity of Sahlqvist identities
• Semi De Morgan logic properly displayed
• Generalized Kripke frames
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Canonical extensions for congruential logics with the deduction theorem
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• Sahlqvist via translation
• Monotone subintuitionistic logic: duality and transfer results
• Positive monotone modal logic
• Complete congruences on topologies and down-set lattices
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Boolean topological distributive lattices and canonical extensions
• Algebraic modal correspondence: Sahlqvist and beyond
• Coalgebraic Completeness-via-Canonicity
• Duality for double quasioperator algebras via their canonical extensions
• Elementary canonical formulae: extending Sahlqvist's theorem
• On canonicity of poset expansions
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• Sahlqvist theory for impossible worlds
• Algorithmic correspondence for intuitionistic modal mu-calculus
• Modes of adjointness
• Canonical extensions and ultraproducts of polarities
• Canonicity results of substructural and lattice-based logics
• A Sahlqvist theorem for substructural logic
• Ockham's razor and reasoning about information flow
• Learning in a changing world, an algebraic modal logical approach
• Duality and canonical extensions for stably compact spaces
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
• \(\Delta_1\)-completions of a poset.
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Title not available (Why is that?)
• Algorithmic correspondence and canonicity for non-distributive logics
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Canonical extensions of Stone and double Stone algebras: the natural way
• A Duality for Algebras of Lattice-Valued Modal Logic

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

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