3 papers
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…
cs.LO2025
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
Jean Christoph Jung, 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.LO2022
Countdown -calculus
Jędrzej Kołodziejski, Bartek Klin
We introduce the countdown -calculus, an extension of the modal -calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classi…