Collapsing Constructive and Intuitionistic Modal Logics
Leonardo Pacheco

TL;DR
This paper proves that the constructive and intuitionistic variants of the modal logic KB are equivalent, contrasting with previous results on the non-equivalence of variants of K, highlighting differences in modal logic variants.
Contribution
It establishes the equivalence of constructive and intuitionistic KB, providing new insights into the relationship between these modal logic variants.
Findings
Constructive and intuitionistic KB are equivalent.
Contrasts with previous results on K variants.
Highlights differences in modal logic variants.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies
