Results on the propositional μ-calculus

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Computing, Computer Science, Mathematics +17

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

An elementary proof of the completeness of PDL

Dexter Kozen, Rohit Parikh · Theoretical Computer Science · 1981 · 216 citations

Computing, Computer Science, Formal Methods +10

A near-optimal method for reasoning about action

Vaughan Pratt · Journal of Computer and System Sciences · 1980 · 173 citations · Full text

Computing, Computer Science, Algorithms +11

Propositional Dynamic Logic of looping and converse

Robert S. Streett · 1981 · 152 citations · Full text

Computing, Computer Science, Mathematics +17