Pages that link to "Item:Q4434503"
From MaRDI portal
The following pages link to Some results on Kripke models over an arbitrary fixed frame (Q4434503):
Displaying 13 items.
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Syntactic preservation theorems for intuitionistic predicate logic (Q985006) (← links)
- Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695) (← links)
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus (Q3983936) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- Extensions of Kripke models (Q5095626) (← links)
- From forcing to satisfaction in Kripke models of intuitionistic predicate logic (Q5095648) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)
- Submodels of Kripke models (Q5944052) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)
