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…