On the finite model property for Kripke models
From MaRDI portal
Publication:2556329
DOI10.2977/prims/1195193783zbMath0249.02022MaRDI QIDQ2556329
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
03B25: Decidability of theories and sets of sentences
03B05: Classical propositional logic
03B55: Intermediate logics
Related Items
Some results on the intermediate logics, Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Cites Work