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