Propositional dynamic logic of looping and converse is elementarily decidable

Results on the propositional μ-calculus

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

Engineering, Automated Reasoning, Propositional Logic +4

Propositional dynamic logic of regular programs

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

Engineering, Automated Reasoning, Propositional Logic +6

Decidability of second-order theories and automata on infinite trees.

Michael O. Rabin · Transactions of the American Mathematical Society · 1969 · 1.2K citations · Full text

Testing and generating infinite sequences by a finite automaton

Robert McNaughton · Information and Control · 1966 · 478 citations

Engineering, Automated Reasoning, Software Testing +7

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

Robert Goldblatt · Journal of Symbolic Logic · 1986 · 429 citations