Positive modal logic beyond distributivity

DOI10.1016/J.APAL.2023.103374MaRDI QIDQ6179826zbMATH OpenOpenAlexFDO

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

Publication date 18 December 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

dualitymodal logicnon-distributive positive logicSahlqvist correspondenceweak 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)

Abstract: We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka duality for meet-semilattices. We introduce the notion of $P{i}_1$-persistence and show that every weak positive modal logic is $P{i}_1$-persistent. This approach leads to a new relational semantics for weak positive modal logic, for which we prove an analogue of Sahlqvist correspondence result.

Recommendations

• A duality for distributive unimodal logic
• Positive monotone modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Positive fragments of coalgebraic logics
• Positive modal logic

Cites work

• A new proof of Sahlqvist's theorem on modal definability and completeness
• A Sahlqvist theorem for distributive modal logic
• A topological representation of lattices
• A topological representation theory for lattices
• Algorithmic correspondence and canonicity for non-distributive logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Category theory applied to Pontryagin duality
• Choice-free Stone duality
• Compositional semantics for a language of imperfect information
• Discrete duality for lattices with modal operators
• Distributive envelopes and topological duality for lattices via canonical extensions.
• From a lattice to its ideal lattice
• Functorial duality for ortholattices and De Morgan lattices
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 5289973 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3792253 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 7594252 (Why is no real title available?)
• Identities in Finite Partition Lattices
• Modal dependence logics: axiomatizations and model-theoretic properties
• Modal logic
• Positive modal logic
• Possibility semantics
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Propositional team logics
• Relational and neighborhood semantics for intuitionistic modal logic
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representation of lattices with modal operators in two-sorted frames
• Scopes and limits of modality in quantum mechanics
• Semantic analysis of orthologic
• The expressive power of modal dependence logic
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• The Stone Space of an Ortholattice
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Varieties of complex algebras

Cited in

(6)

• Choice-free topological duality for implicative lattices and Heyting algebras
• Two-dimensional Kripke semantics. II: Stability and completeness
• Polynomial-time equational theory for lattices with unary operators
• Choice-free dualities for lattice expansions: application to logics with a negation operator
• Sub-sub-intuitionistic logic
• Duality theory for bounded lattices: a comparative study

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

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