Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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
; and
organization
publishing date
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}},
}