Positive (Modal) Logic Beyond Distributivity

04/28/2022
by   Nick Bezhanishvili, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset