5 papers · 1 filter
Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus
Han Gao, Nicola Olivetti
Intuitionistic modal logics (IMLs) comprise many systems: from constructive modal logics such as CK and Wijesekera's CCDL to Fischer Servi/Simpson's IK, as well as some recently in…
Paraconsistent Constructive Modal Logic
Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional att…
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
Han Gao, Marianna Girlando, Nicola Olivetti
The logic IK is the intuitionistic variant of modal logic introduced by Fischer Servi, Plotkin and Stirling, and studied by Simpson. This logic is considered a fundamental intuitio…
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…
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of…