An Elementary Proof of the Completness of PDL

Dexter Kozen, Rohit Parikh. An Elementary Proof of the Completness of PDL. Theoretical Computer Science, 14:113-118, 1981.

Abstract

Abstract is missing.