A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
Masahiko Sato
University of Tokyo, Japan
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