The μ-calculus alternation hierarchy collapses over structures with restricted connectivity
The alternation hierarchy of least and greatest fixpoint operators in the μ-calculus is strict. However, the strictness of the hierarchy does not necessarily carry over when considering restricted classes of structures. For instance, over the class of infinite words the alternation-free fragment of...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2014
|