Computation and Size of Interpolants for Hybrid Modal Logics

Jean Christoph Jung, Jędrzej Kołodziejski, Frank Wolter

Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof tec…