Tech Report Number
80-346
Date of this Version
7-14-1980
Recommended Citation
Berman, Francine, "A Note on the Semantics of Looping Programs in Propositional Dynamic Logic" (1980). Department of Computer Science Technical Reports. Paper 276.
https://docs.lib.purdue.edu/cstech/276
Number of Pages
17