63 citations · 134 across the 19 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A decision procedure for intuitionistic modal logic IS4 (and IK4)
Marianna Girlando, Roman Kuznets, Sonia Marin +1
In this paper, we show that the two intuitionistic modal logics IS4 and IK4 are decidable. We provide a constructive decision procedure, that, given a formula, produces either a pr…
cs.LO2026
Interpolation in Proof Theory
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
This chapter provides a comprehensive overview of proof-theoretic methods for establishing interpolation properties across a range of logics, including classical, intuitionistic, m…