Propositional dynamic logic of regular programs☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This research was supported in part by the National Science Foundation through Grant Nos. DCR74-12997-A01, GJ-43264, and MCS77-02474.
An earlier version of this paper was presented at the Ninth ACM Symposium on Theory of Computing, Boulder, Colorado, May 2–4, 1977, under the title, “Propositional Model Logic of Programs.”
Copyright © 1979 Published by Elsevier Inc.