A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method
- 31 August 1977
- journal article
- Published by European Mathematical Society - EMS - Publishing House GmbH in Publications of the Research Institute for Mathematical Sciences
- Vol. 13 (2) , 381-468
- https://doi.org/10.2977/prims/1195189814
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: