Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Four intuitionistic modal connectives
Philippe Balbiani, Ãigdem Gencer
We introduce the syntax and the semantics of intuitionistic modal logics based on a diamond connective à la Prenosil, its dual box connective, a diamond connective à la Wijesekera…
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…
cs.LO2024
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, ÃiÄdem Gencer +1
We investigate intuitionistic modal logics with locally interpreted and . The basic logic LIK is stronger than constructive modal logic WK and incomparable with…