JournalsprimsVol. 16, No. 2pp. 343–353

A Study of Some Tense Logics by Gentzen's Sequential Method

  • Hirokazu Nishimura

    Kyoto University, Japan
A Study of Some Tense Logics by Gentzen's Sequential Method cover
Download PDF

Cite this article

Hirokazu Nishimura, A Study of Some Tense Logics by Gentzen's Sequential Method. Publ. Res. Inst. Math. Sci. 16 (1980), no. 2, pp. 343–353

DOI 10.2977/PRIMS/1195187208