$\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$
Logic in Computer Science
2017-03-10 v1
Abstract
Given a formula of the modal calculus, it is decidable whether it is equivalent to a formula.
Cite
@article{arxiv.1703.03239,
title = {$\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$},
author = {Karoliina Lehtinen and Sandra Quickert},
journal= {arXiv preprint arXiv:1703.03239},
year = {2017}
}
Comments
This is the extended pre-print of a paper of the same name accepted to Computability in Europe 2017