Paper

An elementary proof of the completeness of PDL

Abstract

We give an elementary proof of the completeness of the Segerberg axions for Propositional Dynamic Logic. © 1981.

Related

M.J. Slattery, Joan L. Mitchell

IBM J. Res. Dev