Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 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
Yao Qi, Raja Das, et al.
ISSTA 2009
Conference paper
Failure diagnosis with incomplete information in cable networks
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002