Prepositional Dynamic Logic for Concurrent Programs

  • Hirokazu Nishimura

    Kyoto University, Japan

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