Preservation theorems for Kripke models
From MaRDI portal
Publication:3619870
DOI10.1002/malq.200710085zbMath1160.03018MaRDI 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 model; elementary submodel; existential sentence; universal sentence; intuitionistic first-order logic
03C40: Interpolation, preservation, definability
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Homomorphisms and chains of Kripke models
Cites Work