Local Intuitionistic Modal Logics and Their Calculi
<|reference_start|>Local Intuitionistic Modal Logics and Their Calculi: We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK and some of its extensions. We propose bi-nested calculi for LIK and these extensions, thus providing both a decision procedure and a procedure of finite countermodel extraction.<|reference_end|>
@article{balbiani2024local,
    title={Local Intuitionistic Modal Logics and Their Calculi},
    author={Philippe Balbiani, Han Gao, c{C}iu{g}dem Gencer, Nicola Olivetti},
    journal={arXiv preprint arXiv:2403.06772},
    year={2024},
    archivePrefix={arXiv},
    eprint={2403.06772},
    primaryClass={cs.LO}
}