Positive modal logic beyond distributivity

DOI10.1016/j.apal.2023.103374arXiv2204.13401OpenAlexW4387046688MaRDI QIDQ6179826

Jim de Groot, Tommaso Moraschini, Anna Dmitrieva, Nick Bezhanishvili

Publication date: 18 December 2023

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

Full work available at URL: https://arxiv.org/abs/2204.13401

zbMATH Keywords

modal logicdualitySahlqvist correspondencenon-distributive positive logicweak positive logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Lattices and duality (06D50)

Related Items (1)

Choice-free topological duality for implicative lattices and Heyting algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Propositional team logics
• A Sahlqvist theorem for distributive modal logic
• A topological representation of lattices
• From a lattice to its ideal lattice
• A topological representation theory for lattices
• Semantic analysis of orthologic
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• Positive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Functorial duality for ortholattices and De Morgan lattices
• Category theory applied to Pontryagin duality
• Varieties of complex algebras
• Discrete duality for lattices with modal operators
• Identities in Finite Partition Lattices
• Scopes and limits of modality in quantum mechanics
• The Stone Space of an Ortholattice
• Compositional semantics for a language of imperfect information
• The Expressive Power of Modal Dependence Logic
• A new proof of Sahlqvist's theorem on modal definability and completeness
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• CHOICE-FREE STONE DUALITY
• Representation of Lattices with Modal Operators in Two-Sorted Frames
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions

This page was built for publication: Positive modal logic beyond distributivity