A Sahlqvist theorem for distributive modal logic
From MaRDI portal
(Redirected from Publication:705532)
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
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3499717 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 1303434 (Why is no real title available?)
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 1453805 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- A Remark on Boolean Algebras with Operators
- A new proof of Sahlqvist's theorem on modal definability and completeness
- A new semantics for positive modal logic
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Bounded distributive lattice expansions
- Bounded lattice expansions
- Categories of frames for modal logic
- Constructive canonicity in non-classical logics
- Modal logic
- Monotone bounded distributive lattice expansions
- Normal monomodal logics can simulate all others
- On the canonicity of Sahlqvist identities
- Positive modal logic
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Simulating polyadic modal logics by monadic ones
- Varieties of complex algebras
Cited in
(59)- A Duality for Algebras of Lattice-Valued Modal Logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
- A new proof of Sahlqvist's theorem on modal definability and completeness
- scientific article; zbMATH DE number 1989654 (Why is no real title available?)
- Canonical extensions and canonicity via dcpo presentations
- Syntactic Completeness of Proper Display Calculi
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
- 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
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- A duality for distributive unimodal logic
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
- On the canonicity of Sahlqvist identities
- Generalized Kripke frames
- Semi De Morgan logic properly displayed
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Canonical extensions for congruential logics with the deduction theorem
- Positive modal logic beyond distributivity
- 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
- Boolean topological distributive lattices and canonical extensions
- Algebraic modal correspondence: Sahlqvist and beyond
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- On canonicity of poset expansions
- Duality for double quasioperator algebras via their canonical extensions
- Coalgebraic Completeness-via-Canonicity
- Elementary canonical formulae: extending Sahlqvist's theorem
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
- 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
- Polynomial-time checking of generalized Sahlqvist syntactic shape
- 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
- Algebraic proof theory for LE-logics
- Modal reduction principles: a parametric shift to graphs
- Duality and canonical extensions for stably compact spaces
- Learning in a changing world, an algebraic modal logical approach
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
- Jónsson-style canonicity in distributive modal µ-calculus
- _1-completions of a poset.
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- scientific article; zbMATH DE number 6302894 (Why is no real title available?)
- Algorithmic correspondence and canonicity for non-distributive logics
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
- Topological duality and algebraic completions
- Canonical extensions of Stone and double Stone algebras: the natural way
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)
