A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy

*
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
*

As already known [14] , the mu-calculus [17] is as expressive as the bisimulation invariant fragment of monadic second order Logic (MSO). In this paper, we relate the expressiveness of levels of the fixpoint alternation depth hierarchy of the mu-calculus (the mu-calculus hierarchy) with the expressiveness of the bisimulation invariant fragment of levels of the monadic quantifiers alternation-depth hierarchy (the monadic hierarchy). From van Benthem's result [3] , we know already that the

doi:10.1109/lics.2001.932510
dblp:conf/lics/JaninL01
fatcat:s2gt2t4lxzh5plx635rt4mo6we