3 papers
math.LO2026
A non-uniform view of Craig interpolation in modal logics with linear frames
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Normal modal logics extending the logic K4.3 of linear transitive frames are known to lack the Craig interpolation property, except some logics of bounded depth such as S5. We turn…
cs.LO2025
From Interpolating Formulas to Separating Languages and Back Again
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
Traditionally, research on Craig interpolation is concerned with (a) establishing the Craig interpolation property (CIP) of a logic saying that every valid implication in the logic…
cs.LO2025
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
None of the first-order modal logics between and under the constant domain semantics enjoys Craig interpolation or projective Beth definability, even in…