Advanced

Expressiveness of the modal mu-calculus on monotone neighborhood structures

Enqvist, Sebastian LU ; Seifan, Fatemeh and Venema, Yde (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:
author
organization
publishing date
type
Working Paper
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
2015-03-03 08:59:45
date last changed
2016-04-16 12:42:41
@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},
  title        = {Expressiveness of the modal mu-calculus on monotone neighborhood structures},
  year         = {2015},
}