One Article by group Knowledge-Based Systems published in the journal LMCS
One article from the Knowledge-Based Systems group published in the journal "Logical Methods in Computer Science."
The paper “The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic” by Jean Christoph Jung and Jędrzej Kołodziejski has been published in the journal “Logical Methods in Computer Science.”