Showing cs.LOShow all
3 papers · 1 filter
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.LO2024
Modal Separability of Fixpoint Formulae
Jean Christoph Jung, Jędrzej Kołodziejski
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae , decide whether there is a modal formula that separates them, that is,…