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…