JournalsprimsVol. 6, No. 3pp. 461–476

Kripke Models and Intermediate Logics

  • Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Kripke Models and Intermediate Logics cover
Download PDF

Cite this article

Hiroakira Ono, Kripke Models and Intermediate Logics. Publ. Res. Inst. Math. Sci. 6 (1970), no. 3, pp. 461–476

DOI 10.2977/PRIMS/1195193915