Kripke Models and Intermediate Logics

Hiroakira Ono
Japan Advanced Institute of Science and Technology, Ishikawa, Japan

Cite this article

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