$Σ^μ_2$ is decidable for $Π^μ_2$
Given a $Π^μ_2$ formula of the modal $μ$ calculus, it is decidable whether it is equivalent to a $Σ^μ_2$ formula.
cs.LO↗
arXiv subjects
Sandra Quickert
Publications and source records attributed to Sandra Quickert.
arXiv subjects
Publications and source records attributed to Sandra Quickert.
Given a $Π^μ_2$ formula of the modal $μ$ calculus, it is decidable whether it is equivalent to a $Σ^μ_2$ formula.