Some results on Kripke models over an arbitrary fixed frame

DOI10.1002/malq.200310052zbMath1042.03010OpenAlexW2024799512MaRDI QIDQ4434503

Morteza Moniri, Seyed-Mohammad Bagheri

Publication date: 10 November 2003

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310052

zbMATH Keywords

Kripke modelsintuitionistic predicate logicLöwenheim-Skolem theoremTarski's test

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Related Items

2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Homomorphisms and chains of Kripke models

This page was built for publication: Some results on Kripke models over an arbitrary fixed frame