TY  - RPRT
TI  - The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
AU  - Jean Christoph Jung
AU  - Jędrzej Kołodziejski
PY  - 2026
DO  - 10.46298/lmcs-22(3:6)2026
UR  - https://arxiv.org/abs/2509.24583
ID  - 2509.24583
ER  -