3 papers
cs.LO2026
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…
cs.LO2025
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…
cs.LO2025
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…