Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
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
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev
Conference paper
Soft x-ray diffraction of striated muscle
S.F. Fan, W.B. Yun, et al.
Proceedings of SPIE 1989