A shallow sequent calculus for FIK is introduced, shown cut-admissible, and used to prove EXPSPACE decidability, improving on the non-elementary conjecture for IK.
Fischer Servi (1980): Semantics for a Class of Intuitionistic Modal Calculi
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2026 2representative citing papers
Introduces constructive neighbourhood semantics and an adapted structured calculus for intuitionistic monotone modal logic IM, proving decidability and noting analogies to classical variants of M and K.
citing papers explorer
-
Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus
A shallow sequent calculus for FIK is introduced, shown cut-admissible, and used to prove EXPSPACE decidability, improving on the non-elementary conjecture for IK.