2 papers
cs.LO2026
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
Jean Christoph Jung, JÄdrzej KoÅodziejski, Jędrzej Kołodziejski
Modal separability for modal fixpoint formulae is the problem to decide for two given modal fixpoint formulae whether there is a modal formula that separates them, in th…
cs.LO2026
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…