Rolf Clauberg
IBM J. Res. Dev
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
Arun Viswanathan, Nancy Feldman, et al.
IEEE Communications Magazine
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev