Preservation theorems for Kripke models
From MaRDI portal
Publication:3619870
DOI10.1002/malq.200710085zbMath1160.03018OpenAlexW2074174650MaRDI QIDQ3619870
Publication date: 9 April 2009
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710085
Kripke modelelementary submodelexistential sentenceuniversal sentenceintuitionistic first-order logic
Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Homomorphisms and chains of Kripke models
Cites Work
This page was built for publication: Preservation theorems for Kripke models