Submodels of Kripke models

DOI10.1007/S001530000059MaRDI QIDQ5944052zbMATH OpenFDO

Authors Albert Visser

Publication date 19 September 2001

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S001530000059

zbMATH Keywords

embeddings between domainsHeyting arithmeticintuitionistic predicate logicKripke modelsemipositive formulassubmodel

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) First-order arithmetic and fragments (03F30)

Recommendations

• Kripke submodels and universal sentences
• Preservation theorems for Kripke models
• Extensions of Kripke models
• Some results on Kripke models over an arbitrary fixed frame
• Bisimulation reducts and submodels of intuitionistic first-order Kripke models

Cited in

(9)

• Quantum vacuum radiation and detection proposals
• A semantic approach to conservativity
• Preservation theorems for Kripke models
• Extensions of Kripke models
• From forcing to satisfaction in Kripke models of intuitionistic predicate logic
• Kripke submodels and universal sentences
• Homomorphisms and chains of Kripke models
• Omitting types in an intermediate logic
• GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC

This page was built for publication: Submodels of Kripke models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944052)