Homomorphisms and chains of Kripke models
DOI10.1007/S00153-010-0224-5zbMATH Open1239.03005OpenAlexW2061881968MaRDI QIDQ535159FDOQ535159
Authors: Morteza Moniri, Mostafa Zaare 
Publication date: 11 May 2011
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0224-5
Recommendations
intuitionistic logicelementary submodelKripke modelexistential sentenceunion of chainuniversal sentence
Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30) Interpolation, preservation, definability (03C40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work
- Title not available (Why is that?)
- Existence and feasibility in arithmetic
- Submodels of Kripke models
- Intuitionistic validity in \(T\)-normal Kripke structures
- Constructivism in mathematics. An introduction. Volume II
- Computer science logic. 10th international workshop, CSL '96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21--27, 1996. Selected papers
- Fragments of HA based on \(\Sigma_ 1\)-induction
- Preservation theorems for Kripke models
- On the structure of kripke models of heyting arithmetic
- Some results on Kripke models over an arbitrary fixed frame
- Kripke submodels and universal sentences
- Syntactic preservation theorems for intuitionistic predicate logic
Cited In (5)
This page was built for publication: Homomorphisms and chains of Kripke models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535159)
