Expressiveness of the modal mu-calculus on monotone neighborhood structures

2015/02/27 by Sebastian Enqvist, Enqvist, Sebastian, Fatemeh Seifan +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.1502.07889

openalex publication_date 2015/02/27 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

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.

Cited by

• Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics

Related

• Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
• Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
• Bisimulation Invariant Monadic-Second Order Logic in the Finite
• The Topological Mu-Calculus: completeness and decidability
• A sequence of neighborhood contingency logics