Authors N. BezhanishviliA. BaltagDavid Fernández-Duque Date (dd-mm-yyyy) 2023 Title The topological mu-calculus: completeness and decidability Journal Journal of the Association for Computing Machinery Volume 70 Publication Year 2023 Issue number 5 Document type Article URL go to publisher's site Permalink https://hdl.handle.net/11245.1/c0a0b6ea-bddc-4177-8322-8170af184afc