Collapsing Constructive and Intuitionistic Modal Logics
<|reference_start|>Collapsing Constructive and Intuitionistic Modal Logics: 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 the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas.<|reference_end|>
@article{pacheco2024collapsing,
    title={Collapsing Constructive and Intuitionistic Modal Logics},
    author={Leonardo Pacheco},
    journal={arXiv preprint arXiv:2408.16428},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.16428},
    primaryClass={math.LO cs.LO}
}