Expressiveness of the modal mu-calculus on monotone neighborhood structures

Sebastian Enqvist, Fatemeh Seifan, Yde Venema

Research output: Working paper/PreprintWorking paper

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.
Original languageEnglish
Publication statusUnpublished - 2015

Subject classification (UKÄ)

  • Philosophy

Fingerprint

Dive into the research topics of 'Expressiveness of the modal mu-calculus on monotone neighborhood structures'. Together they form a unique fingerprint.

Cite this