${\Sigma }_2^{\mu }$ is decidable for ${\Pi }_2^{\mu }$

Karoliina Lehtinen, Sandra Quickert

Given a ${\Pi }_2^{\mu }$ formula of the modal $\mu$ calculus, it is decidable whether it is equivalent to a ${\Sigma }_2^{\mu }$ formula.