{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:37:06Z","timestamp":1773383826495,"version":"3.50.1"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2023,10,11]],"date-time":"2023-10-11T00:00:00Z","timestamp":1696982400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWO-FWF Lead Agency","award":["G030620N (FWO)\/I4513N (FWF)"],"award-info":[{"award-number":["G030620N (FWO)\/I4513N (FWF)"]}]},{"name":"SNSF\u2013FWO Lead Agency","award":["200021L_196176\/G0E2121N"],"award-info":[{"award-number":["200021L_196176\/G0E2121N"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[2023,10,31]]},"abstract":"<jats:p>We study the topological \u03bc-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability, and finite model property over general topological spaces, as well as over<jats:italic>T<jats:sub>0<\/jats:sub><\/jats:italic>and<jats:italic>T<jats:sub>D<\/jats:sub><\/jats:italic>spaces. We also investigate the relational \u03bc-calculus, providing general completeness results for all natural fragments of the \u03bc-calculus over many different classes of relational frames. Unlike most other such proofs for \u03bc-calculi, ours is model theoretic, making an innovative use of a known method from modal logic (the \u2018final\u2019 submodel of the canonical model), which has the twin advantages of great generality and essential simplicity.<\/jats:p>","DOI":"10.1145\/3623268","type":"journal-article","created":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T11:05:14Z","timestamp":1694084714000},"page":"1-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["The Topological Mu-Calculus: Completeness and Decidability"],"prefix":"10.1145","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5533-7976","authenticated-orcid":false,"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[{"name":"University of Amsterdam, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6692-5051","authenticated-orcid":false,"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[{"name":"University of Amsterdam, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8604-4183","authenticated-orcid":false,"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"additional","affiliation":[{"name":"University of Barcelona, Spain"}]}],"member":"320","published-online":{"date-parts":[[2023,10,11]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/3329995.3330023"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470560"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2022\/4"},{"key":"e_1_3_2_6_2","doi-asserted-by":"crossref","unstructured":"A. Baltag N. Bezhanishvili A. \u00d6zg\u00fcn and S. Smets. 2016. Justified belief and the topology of evidence. In Logic Language Information and Computation . Lecture Notes in Computer Science Vol. 9803. Springer 83\u2013103.","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"e_1_3_2_7_2","first-page":"81","volume-title":"Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK \u201915)","author":"Baltag A.","year":"2015","unstructured":"A. Baltag, N. Gierasimczuk, and S. Smets. 2015. On the solvability of inductive problems: A study in epistemic topology. In Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK \u201915). 81\u201398."},{"key":"e_1_3_2_8_2","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-94-017-8860-1_10","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"Beklemishev L.","year":"2014","unstructured":"L. Beklemishev and D. Gabelaia. 2014. Topological interpretations of provability logic. In Leo Esakia on Duality in Modal and Intuitionistic Logics. Springer, 257\u2013290."},{"key":"e_1_3_2_9_2","volume-title":"Modal Correspondence Theory","author":"Benthem J. Van","year":"1976","unstructured":"J. Van Benthem. 1976. Modal Correspondence Theory. Ph.D. Dissertation. University of Amsterdam."},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1515\/gmj-2015-0041"},{"key":"e_1_3_2_12_2","doi-asserted-by":"crossref","unstructured":"G. Bezhanishvili L. Esakia and D. Gabelaia. 2011. Spectral and \\({T}_0\\) -spaces in d-semantics. In Logic Language and Computation . Lecture Notes in Computer Science Vol. 6618. Springer 16\u201329.","DOI":"10.1007\/978-3-642-22303-7_2"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-1306190"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.5555\/381193"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.08.001"},{"key":"e_1_3_2_16_2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov A.","year":"1997","unstructured":"A. Chagrov and M. Zakharyaschev. 1997. Modal Logic. Clarendon Press, New York, NY."},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.04.002"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104597"},{"key":"e_1_3_2_19_2","first-page":"128","volume-title":"Studies in Logic and Semantics","author":"Esakia L.","year":"1981","unstructured":"L. Esakia. 1981. Diagonal constructions, the L\u00f6b formula and rarefied Cantor\u2019s scattered spaces. In Studies in Logic and Semantics 1981 (1981), 128\u2013143."},{"key":"e_1_3_2_20_2","unstructured":"L. Esakia. 2001. Weak transitivity\u2014A restitution. In Logical Investigations Vol. 8. Nauka Publishers Moscow Russia 244\u2013255."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.013"},{"key":"e_1_3_2_22_2","unstructured":"D. Fern\u00e1ndez-Duque. 2011. Tangled modal logic for spatial reasoning. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI \u201911) . 857\u2013862."},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15298-6_3"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175784"},{"key":"e_1_3_2_25_2","volume-title":"Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA \u201923)","author":"Fern\u00e1ndez-Duque D.","year":"2023","unstructured":"D. Fern\u00e1ndez-Duque and K. Papafilippou. 2023. A universal fixed point for spatial reasoning. In Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA \u201923)."},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.2307\/2272340"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274318"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.11.006"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9732-1"},{"key":"e_1_3_2_30_2","unstructured":"H. H. Hansen. 2003. Monotonic Modal Logics . Master\u2019s Thesis. University of Amsterdam."},{"key":"e_1_3_2_31_2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-61604-7_60","volume-title":"CONCUR\u201996: Concurrency Theory","author":"Janin D.","year":"1996","unstructured":"D. Janin and I. Walukiewicz. 1996. On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic. In CONCUR\u201996: Concurrency Theory, U. Montanari and V. Sassone (Eds.). Springer, Berlin, Germany, 263\u2013277."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370554"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.5555\/2568432"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"e_1_3_2_35_2","volume-title":"Evidence in Epistemic Logic: A Topological Perspective","author":"\u00d6zg\u00fcn A.","year":"2017","unstructured":"A. \u00d6zg\u00fcn. 2017. Evidence in Epistemic Logic: A Topological Perspective. Ph.D. Dissertation. University of Lorraine."},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15298-6_13"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.5555\/3199944"},{"key":"e_1_3_2_38_2","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/978-1-4612-2822-6_18","volume-title":"Logic from Computer Science","author":"Parikh R.","year":"1992","unstructured":"R. Parikh. 1992. Finite and infinite dialogues. In Logic from Computer Science. Springer, 481\u2013497."},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.11.001"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.07.003"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","unstructured":"U. Sattler and M. Vardi. 2001. The hybrid \\(\\mathrm{\\mu }\\) -calculus. In Automated Reasoning . Lecture Notes in Computer Science Vol. 2083. Springer 76\u201391.","DOI":"10.1007\/3-540-45744-5_7"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1999.10510972"},{"key":"e_1_3_2_43_2","unstructured":"Y. Venema. 2008. Lectures on the Modal \\(\\mu\\) - Calculus . University of Amsterdam."},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.5555\/64996"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2836"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.2307\/2275669"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623268","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3623268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:26Z","timestamp":1750178186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3623268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,11]]},"references-count":45,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10,31]]}},"alternative-id":["10.1145\/3623268"],"URL":"https:\/\/doi.org\/10.1145\/3623268","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"value":"0004-5411","type":"print"},{"value":"1557-735X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,11]]},"assertion":[{"value":"2022-01-03","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-08-25","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}