Expressiveness of the modal mu-calculus on monotone neighborhood structures
Logic in Computer Science
2015-03-02 v1
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.
Keywords
Cite
@article{arxiv.1502.07889,
title = {Expressiveness of the modal mu-calculus on monotone neighborhood structures},
author = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
journal= {arXiv preprint arXiv:1502.07889},
year = {2015}
}