Collapsing Constructive and Intuitionistic Modal Logics
Logic
2024-10-02 v2 Logic in Computer Science
Abstract
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 the constructive and intuitionistic variants of do not prove the same diamond-free formulas.
Keywords
Cite
@article{arxiv.2408.16428,
title = {Collapsing Constructive and Intuitionistic Modal Logics},
author = {Leonardo Pacheco},
journal= {arXiv preprint arXiv:2408.16428},
year = {2024}
}