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

DOI 10.2977/PRIMS/1195193783