arXiv:2204.13401 Abstract | arXiv Analytics

arXiv:2204.13401 [math.LO]Abstract References Reviews Resources

Positive (Modal) Logic Beyond Distributivity

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

Published 2022-04-28Version 1

We present a duality for non-necessarily-distributive (modal) lattices and use this to study non-necessarily-distributive positive (modal) logic. Our duality is similar to Priestley duality and as such allows us to use similar tools and techniques to study logic. As a result, we prove Sahlqvist correspondence and canonicity for both the propositional logic as well as a modal extension.

Categories: math.LO, cs.LO

Keywords: distributivity, modal extension, similar tools, study logic, sahlqvist correspondence

Related articles: Most relevant | Search more

arXiv:1411.6452 [math.LO] (Published 2014-11-24)

Modal extension of Łukasiewicz logic for reasoning about coalitional power

Tomáš Kroupa, Bruno Teheux

arXiv:1510.08722 [math.LO] (Published 2015-10-29)

Characterization of distributivity in a solid

Bruno Dinis, Imme van den Berg

arXiv:2207.11097 [math.LO] (Published 2022-07-22)

A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts

Prosenjit Howlader, Mohua Banerjee