Francine Berman. Semantics of Looping Programs in Propositional Dynamic Logic. Theory Comput. Syst., 15(4):285-294, 1982.
@article{Berman82, title = {Semantics of Looping Programs in Propositional Dynamic Logic}, author = {Francine Berman}, year = {1982}, tags = {semantics, logic programming, logic}, researchr = {https://researchr.org/publication/Berman82}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {15}, number = {4}, pages = {285-294}, }