PP-2021-07: Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque The topological mu-calculus: completeness and decidability 1.Full Text, 2.Abstract. < Back
