The Work (With D. Kozen) An Elementary Completeness Proof for PDL The details The Author Rohit Jivanlal Parikh The offers