“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 15273
School of Mathematics
  Title:   Extensions of Kripke models
  Author(s):  Mostafa Zaare
  Status:   Published
  Journal: Log. J. IGPL
  Vol.:  25
  Year:  2017
  Pages:   697-699
  Supported by:  IPM
There are several ways to define the notion of 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 the frame of A is a subframe of the frame of B and for each two corresponding worlds Aα and Bα of them, Aα is a classical submodel of Bα. In this case, B is called an extension of A. We characterize formulas that are preserved under taking extensions of Kripke models.

Download TeX format
back to top
scroll left or right