PP-2021-07: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2021) The topological mu-calculus: completeness and decidability. [Pre-print]
Preview |
Text
TopoMu.pdf Download (454kB) | Preview |
Abstract
We study the topological mu-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
mu-calculus, providing general completeness results for all natural fragments of mu-calculus over many different classes of relational frames. Unlike most other such proofs for
mu-calculus, ours is model-theoretic, 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.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2021-07 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2021 |
| Subjects: | Computation Logic Mathematics |
| Depositing User: | Nick Bezhanishvili |
| Date Deposited: | 05 Jun 2021 12:00 |
| Last Modified: | 05 Jun 2021 12:00 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1796 |
Actions (login required)
 |
View Item |
