Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Modalities in non-classical variations of
Leonardo Pacheco
A classical result in modal logic states that has modalities, that is, every sequence of negations, boxes, and diamonds is equivalent to one in a set of suc…
math.LO2024
Collapsing Constructive and Intuitionistic Modal Logics
Leonardo Pacheco
We prove that the constructive and intuitionistic variants of the modal logic coincide. This result contrasts with a recent result by Das and Marin, who showed that t…