JournalsprimsVol. 19 , No. 1DOI 10.2977/prims/1195182989

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