“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 15273  


Abstract:  
There are several ways to define the notion of submodel for Kripke models of intuitionistic firstorder 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 