JournalsprimsVol. 13, No. 2pp. 381–468

A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method

  • Masahiko Sato

    University of Tokyo, Japan
A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method cover
Download PDF

Cite this article

Masahiko Sato, A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method. Publ. Res. Inst. Math. Sci. 13 (1977), no. 2, pp. 381–468

DOI 10.2977/PRIMS/1195189814