On the finite model property for Kripke models

DOI10.2977/prims/1195193783zbMath0249.02022OpenAlexW2055566308MaRDI QIDQ2556329

Hiroakira Ono

Publication date: 1971

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195193783

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Classical propositional logic (03B05) Intermediate logics (03B55)

Related Items (2)

Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics ⋮ Some results on the intermediate logics

Cites Work

• Kripke models and intermediate logics
• Algebraic semantics for modal logics I
• Unnamed Item
• Unnamed Item

This page was built for publication: On the finite model property for Kripke models