PP-2021-07: The topological mu-calculus: completeness and decidability

PP-2021-07: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2021) The topological mu-calculus: completeness and decidability. [Pre-print]

[thumbnail of TopoMu.pdf]

Download (454kB) | Preview


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
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 View Item