JournalsprimsVol. 19, No. 1pp. 305–316

A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains

  • Hirokazu Nishimura

    Kyoto University, Japan
A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains cover
Download PDF

Cite this article

Hirokazu Nishimura, A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains. Publ. Res. Inst. Math. Sci. 19 (1983), no. 1, pp. 305–316

DOI 10.2977/PRIMS/1195182989