Bibliographic Details
| Title: |
The Topological Mu-Calculus: Completeness and Decidability. |
| Authors: |
BALTAG, ALEXANDRU1 thealexandrubaltag@gmail.com, BEZHANISHVILI, NICK1 N.Bezhanishvili@uva.nl, FERNÁNDEZ-DUQUE, DAVID2 fernandez-duque@ub.edu |
| Superior Title: |
Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-38. 38p. |
| Subject Terms: |
MODAL logic, TOPOLOGICAL spaces, CANTOR sets |
| Abstract: |
We study the topological μ-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability, and finite model property over general topological spaces, as well as over T0 and TD spaces. We also investigate the relational μ-calculus, providing general completeness results for all natural fragments of the μ-calculus over many different classes of relational frames. Unlike most other such proofs for μ-calculi, ours is model theoretic, making an innovative use of a known method from modal logic (the 'final' submodel of the canonical model), which has the twin advantages of great generality and essential simplicity. [ABSTRACT FROM AUTHOR] |
|
Copyright of Journal of the ACM is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Business Source Premier |