Answers are grounded in this paper and cite their sources.
We investigate intuitionistic modal logics with locally interpreted and . 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.
No takes yet. Share an insight, caveat, or question.
Balbiani et al. (2024) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: