Kripke submodels and universal sentences
From MaRDI portal
Publication:5293202
DOI10.1002/malq.200610048zbMath1123.03008OpenAlexW2053984022MaRDI QIDQ5293202
Wim Ruitenburg, Jonathan Fleischmann, Ben Ellison, Dan McGinn
Publication date: 26 June 2007
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610048
Metamathematics of constructive systems (03F50) 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 ⋮ Preservation theorems for Kripke models ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic
Cites Work