“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
  Abstract:
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
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right