JournalsprimsVol. 7, No. 1pp. 85–93

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
Download PDF

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