The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Expressiveness of the modal mu-calculus on monotone neighborhood structures

På svenska

Author

  • Sebastian Enqvist
  • Fatemeh Seifan
  • Yde Venema

Summary, in English

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.

Publishing year

2015

Language

English

Document type

Working paper

Topic

  • Philosophy

Status

Unpublished