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 $\phi ,{\phi }^{\prime }$, decide whether there is a modal formula $\psi$ that separates them, that is,…