Expressiveness of the modal mu-calculus on monotone neighborhood structures
(2015)- Abstract
- 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.
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/5146901
- author
- Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde
- organization
- publishing date
- 2015
- type
- Working paper/Preprint
- publication status
- unpublished
- subject
- language
- English
- LU publication?
- yes
- id
- 02a7bbd7-65fd-4325-9734-0c0a7860e29c (old id 5146901)
- alternative location
- http://arxiv-web3.library.cornell.edu/abs/1502.07889
- date added to LUP
- 2016-04-04 14:34:08
- date last changed
- 2018-11-21 21:21:02
@misc{02a7bbd7-65fd-4325-9734-0c0a7860e29c, abstract = {{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.}}, author = {{Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde}}, language = {{eng}}, note = {{Working Paper}}, title = {{Expressiveness of the modal mu-calculus on monotone neighborhood structures}}, url = {{http://arxiv-web3.library.cornell.edu/abs/1502.07889}}, year = {{2015}}, }