A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
Hirokazu Nishimura
Kyoto University, Japan

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