Some results on Kripke models over an arbitrary fixed frame
From MaRDI portal
(Redirected from Publication:4434503)
Recommendations
- On the predicate logics of finite Kripke frames
- scientific article; zbMATH DE number 1899816
- Publication:4493072
- On the structure of kripke models of heyting arithmetic
- scientific article; zbMATH DE number 5839768
- scientific article; zbMATH DE number 67030
- Kripke Models Built from Models of Arithmetic
- scientific article; zbMATH DE number 2152688
- Finite Kripke models and predicate logics of provability
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
Cited in
(17)- Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
- Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
- Rudimentary Kripke models for the intuitionistic propositional calculus
- Preservation theorems for Kripke models
- Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
- Constants in Kripke Models for Intuitionistic Logic
- Extensions of Kripke models
- From forcing to satisfaction in Kripke models of intuitionistic predicate logic
- Kripke submodels and universal sentences
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- Homomorphisms and chains of Kripke models
- Bisimulation reducts and submodels of intuitionistic first-order Kripke models
- A Note on Linear Kripke Models
- Submodels of Kripke models
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
- Syntactic preservation theorems for intuitionistic predicate logic
This page was built for publication: Some results on Kripke models over an arbitrary fixed frame
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4434503)
