Some results on Kripke models over an arbitrary fixed frame
From MaRDI portal
Publication:4434503
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
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