Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
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
Raymond F. Boyce, Donald D. Chamberlin, et al.
CACM
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Zohar Feldman, Avishai Mandelbaum
WSC 2010