The Topological Mu-Calculus: completeness and decidability.

Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque

Browse the full LICS paper archive.