Intuitionistic modal logic LIK4 is decidable

2025/12/04 by Balbiani, Philippe, Gencer, Çigdem, Tinchev, Tinko
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2512.04687

Abstract

In this note, we prove that intuitionistic modal logic LIK4 is decidable.

Citations

• Intuitionistic modal logics: a minimal setting
• Local Intuitionistic Modal Logics and Their Calculi
• A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
• Wijesekera-style constructive modal logics
• Some constructive variants of S4 with the finite model property
• Constructive modal logics I

Related

• Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
• Collapsing Constructive and Intuitionistic Modal Logics
• Intuitionistic modal logics: a minimal setting
• A modal extension of intuitionist logic.
• A Linear-logical Reconstruction of Intuitionistic Modal Logic S4