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…