Robert C. Durbeck
IEEE TACON
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
Limin Hu
IEEE/ACM Transactions on Networking
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002