2 papers
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.
math.LO2025
Intuitionistic modal logics: a minimal setting
Philippe Balbiani, Ãigdem Gencer
We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionist…