Collapsing Constructive and Intuitionistic Modal Logics

Leonardo Pacheco

We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{KB}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that t…