Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Intuitionistic modal logic LIK4 is decidable
Philippe Balbiani, Çigdem Gencer, Tinko Tinchev
In this note, we prove that intuitionistic modal logic LIK4 is decidable.
cs.LO2025
Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
Philippe Balbiani, Cigdem Gencer
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and s…