Abstract

A Kripke model K is a submodel of another Kripke model M if K is obtained by restricting the set of nodes of M. In this paper we show that the
class of formulas of Intuitionistic Predicate Logic that is preserved under
taking submodels of Kripke models is precisely the class of
... read more