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