Expressiveness of the modal mu-calculus on monotone neighborhood structures [article]

Sebastian Enqvist, Fatemeh Seifan, Yde Venema
2015 arXiv   pre-print
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.
arXiv:1502.07889v1 fatcat:gafhmhfk4fef3hr73rvrzqgpv4