On the Finite Model Property for Kripke Models

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

Cite this article

Hiroakira Ono, On the Finite Model Property for Kripke Models. Publ. Res. Inst. Math. Sci. 7 (1971), no. 1, pp. 85–93