Games for the μ-calculus

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

Humanities, Mathematics, Logic +4

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

Computing, Computer Science, Formal Methods +12

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

Computing, Computer Science, Mathematics +16

Borel Determinacy

Donald A. Martin · Annals of Mathematics · 1975 · 581 citations

Automata on infinite objects

Wolfgang Thomas · 1988 · 432 citations

Computing, Computer Science, Mathematics +15