The topological mu-calculus: completeness and decidability
| Authors |
|
|---|---|
| Publication date | 2021 |
| Book title | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Book subtitle | 29 June 2021-2 July 2021, Rome, Italy,virtual |
| ISBN |
|
| ISBN (electronic) |
|
| Event | 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Pages (from-to) | 1126-1138 |
| Number of pages | 13 |
| Publisher | Piscataway, NJ: IEEE |
| Organisations |
|
| Abstract |
We study the topological μ-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over T0 and TD spaces. We also investigate relational μ-calculus, providing general completeness results for all natural fragments of μ-calculus over many different classes of relational frames. Unlike most other such proofs for μ-calculus, ours is modeltheoretic, making an innovative use of a known Modal Logic method (-the 'final' submodel of the canonical model), that has the twin advantages of great generality and essential simplicity.
|
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1109/LICS52264.2021.9470560
(Final published version)
|
| Other links | |
| Permalink to this page | |