JournalsprimsVol. 16 , No. 2DOI 10.2977/prims/1195187208

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