Preservation theorems for Kripke models
β
Morteza Moniri; Mostafa Zaare
π
Article
π
2009
π
John Wiley and Sons
π
English
β 123 KB
## Abstract There are several ways for defining the notion submodel for Kripke models of intuitionistic firstβorder logic. In our approach a Kripke model __A__ is a submodel of a Kripke model __B__ if they have the same frame and for each two corresponding worlds __A^Ξ±^__ and __B^Ξ±^__ of them, __A^