Kripke Models and Intermediate Logics
Hiroakira Ono
Japan Advanced Institute of Science and Technology, Ishikawa, Japan
![Kripke Models and Intermediate Logics cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-6-issue-3.png&w=3840&q=90)
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