The interpolant existence problem for weak K4 and difference logic

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

As well known, weak K4 and the difference logic DL do not enjoy the Craig interpolation property. Our concern here is the problem of deciding whether any given implication does hav…