Semantical Analysis of Constructive PDL
Hirokazu Nishimura
Kyoto University, Japan
Cite this article
Hirokazu Nishimura, Semantical Analysis of Constructive PDL. Publ. Res. Inst. Math. Sci. 18 (1982), no. 2, pp. 427–438
DOI 10.2977/PRIMS/1195183579Hirokazu Nishimura, Semantical Analysis of Constructive PDL. Publ. Res. Inst. Math. Sci. 18 (1982), no. 2, pp. 427–438
DOI 10.2977/PRIMS/1195183579