{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T12:38:50Z","timestamp":1762173530974},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470560","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-13","source":"Crossref","is-referenced-by-count":7,"title":["The Topological Mu-Calculus: completeness and decidability"],"prefix":"10.1109","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[]},{"given":"Nick","family":"Bezhanishvili","sequence":"additional","affiliation":[]},{"given":"David","family":"Fernandez-Duque","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1515\/gmj-2015-0041"},{"key":"ref32","article-title":"Monotonic modal logics","author":"hansen","year":"2003","journal-title":"Master’s thesis"},{"article-title":"Lectures on the modal µ-calculus","year":"2008","author":"venema","key":"ref31"},{"key":"ref30","first-page":"16","article-title":"Spectral and T0-spaces in d-semantics","author":"bezhanishvili","year":"2011","journal-title":"8th International Tbilisi Symposium on Logic Language and Computation Selected papers"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1999.10510972"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.002"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.11.006"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_7"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","author":"chagrov","year":"1997","journal-title":"Modal Logic"},{"key":"ref11","first-page":"128","article-title":"Diagonal constructions, the Löb formula and rarefied Cantor’s scattered spaces","author":"esakia","year":"1981","journal-title":"Studies in logic and semantics"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-94-017-8860-1_10","author":"beklemishev","year":"2014","journal-title":"Leo Esakia on duality in modal and intuitionistic logics"},{"journal-title":"Topology Via Logic","year":"1989","author":"vickers","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.08.001"},{"key":"ref16","first-page":"81","article-title":"On the solvability of inductive problems: A study in epistemic topology","author":"baltag","year":"2015","journal-title":"TARK 2015 Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge"},{"journal-title":"Distributed Computing Through Combinatorial Topology","year":"2013","author":"herlihy","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2020.104597"},{"key":"ref19","article-title":"Evidence in epistemic logic : A topological perspective","author":"\u00f6zg\u00fcn","year":"2017","journal-title":"Ph D Dissertation"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9"},{"key":"ref4","first-page":"1","article-title":"Cut-free completeness for modal mucalculus","author":"afshari","year":"2017","journal-title":"32nd Annual ACM\/IEEE Symposium on Logic in Computer Science LICS"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.04.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.07.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"ref29","first-page":"857","article-title":"Tangled modal logic for spatial reasoning","author":"fern\u00e1ndez-duque","year":"2011","journal-title":"IJCAI 2011 Proceedings of the 22nd International Joint Conference on Artificial Intelligence Barcelona Catalonia Spain July 16-22 2011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.013"},{"key":"ref7","first-page":"244","article-title":"Weak transitivity—a restitution","author":"esakia","year":"2001","journal-title":"Logical investigations No 8 (Russian) (Moscow 2001)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.11.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2836"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2274318"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2822-6_18"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-1306190"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2275669"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9732-1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370554"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470560.pdf?arnumber=9470560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T19:51:09Z","timestamp":1699213869000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470560","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}