Kripke submodels and universal sentences
From MaRDI portal
Publication:5293202
DOI10.1002/malq.200610048zbMath1123.03008MaRDI QIDQ5293202
Wim Ruitenburg, Ben Ellison, Jonathan Fleischmann, 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
03F50: Metamathematics of constructive systems
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, Preservation theorems for Kripke models, 2009 North American Annual Meeting of the Association for Symbolic Logic
Cites Work