Prepositional Dynamic Logic for Concurrent Programs
Hirokazu Nishimura
Kyoto University, Japan
![Prepositional Dynamic Logic for Concurrent Programs cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-18-issue-1.png&w=3840&q=90)
Abstract
We give a nice Gentzen-type axiomatization of prepositional dynamic logic (PDL) with the shuffle operator α//β (cobegin...coend)
Cite this article
Hirokazu Nishimura, Prepositional Dynamic Logic for Concurrent Programs. Publ. Res. Inst. Math. Sci. 18 (1982), no. 1, pp. 233–250
DOI 10.2977/PRIMS/1195184022