arXiv (All)
open access
Tree algebras and bisimulation-invariant MSO on finite graphs
We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a question that had remained open for several decades. The proof goes by translating the question to an algebraic framework, and
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Display to Labeled Proofs and Back Again for Tense Logics#711054
- Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic#734071
- Making Theorem-Proving in Modal Logic Easy#756446
- Dynamic Tableaux for Dynamic Modal Logics#719700
- Logics of Programs: Axiomatics and Descriptive Power#464649
Record · ID 1000463
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive