Kripke Models and Intermediate Logics

Hiroakira Ono
Japan Advanced Institute of Science and Technology, Ishikawa, Japan
- MathSciNet
- zbMATH Open

Cite this article

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