Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs

  • Hirokazu Nishimura

    Kyoto University, Japan

Cite this article

Hirokazu Nishimura, Arithmetical Completeness in First-Order Dynamic Logic for Concurrent Programs. Publ. Res. Inst. Math. Sci. 17 (1981), no. 1, pp. 297–309

DOI 10.2977/PRIMS/1195186718