Skip to main content

Department of Computer Science Technical Reports

A Note on the Semantics of Looping Programs in Propositional Dynamic Logic

Francine Berman

Date of this Version

1980

Tech Report Number

80-346

Number of Pages

17

Included in

Computer Sciences Commons

COinS