Algorithmic correspondence and canonicity for distributive modal logic
From MaRDI portal
Publication:409328
DOI10.1016/J.APAL.2011.10.004zbMATH Open1255.03030OpenAlexW1970051856MaRDI QIDQ409328FDOQ409328
Willem Conradie, Alessandra Palmigiano
Publication date: 13 April 2012
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.2011.10.004
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Complete distributivity (06D10) Lattices and duality (06D50)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Positive modal logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Canonical extensions and relational completeness of some substructural logics
- Constructive canonicity in non-classical logics
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
- Algorithmic correspondence and canonicity for distributive modal logic
- Categorial inference and modal logic
- On the canonicity of Sahlqvist identities
- Algebraic modal correspondence: Sahlqvist and beyond
- Modal frame correspondences and fixed-points
- Elementary canonical formulae: extending Sahlqvist's theorem
- Sahlqvist formulas in hybrid polyadic modal logics
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA
- Hybrid logics with Sahlqvist axioms
- A Sahlqvist theorem for distributive modal logic
Cited In (39)
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Labelled calculi for lattice-based modal logics
- Title not available (Why is that?)
- Syntactic Completeness of Proper Display Calculi
- Probabilistic Epistemic Updates on Algebras
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Algorithmic correspondence and canonicity for possibility semantics
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
- Subordination algebras as semantic environment of input/output logic
- Algebraic proof theory: hypersequents and hypercompletions
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Power and Limits of Structural Display Rules
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
- Proper multi-type display calculi for rough algebras
- Correspondence theory for generalized modal algebras
- Hypersequent and display calculi -- a unified perspective
- Algebraic modal correspondence: Sahlqvist and beyond
- Polynomial-time checking of generalized Sahlqvist syntactic shape
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic
- Algorithmic correspondence for intuitionistic modal mu-calculus
- Canonical extensions and ultraproducts of polarities
- Hyper-MacNeille completions of Heyting algebras
- Taming Paraconsistent (and Other) Logics
- Linear Logic Properly Displayed
- Canonicity results for mu-calculi: an algorithmic approach
- The bounded proof property via step algebras and step frames
- Algebraic proof theory for LE-logics
- Modal reduction principles: a parametric shift to graphs
- THE LOGIC OF RESOURCES AND CAPABILITIES
- 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
- Disentangling structural connectives or life without display property
- Categories: How I Learned to Stop Worrying and Love Two Sorts
- Topological duality and algebraic completions
- Distributive laws in residuated binars
Uses Software
This page was built for publication: Algorithmic correspondence and canonicity for distributive modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409328)
