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 $\mathsf{K}$ and $S5$ under the constant domain semantics enjoys Craig interpolation or projective Beth definability, even in…