Expressiveness of the modal mu-calculus on monotone neighborhood structures
Författare
Summary, in English
We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations.
Avdelning/ar
Publiceringsår
2015
Språk
Engelska
Länkar
Dokumenttyp
Working paper
Ämne
- Philosophy
Status
Unpublished