Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695)

As a sequel to the author's previous work on generalization of Kripke models for intuitionistic propositional logic, ancestral Kripke models are introduced by replacing converse-heredity of rudimentary Kripke models with ancestrality. With some embedding results to the modal logic S4, the author provides another type of modelling as well, where valuations are defined on the logical connectives differently from the standard one and not necessarily hereditary w.r.t. accessibility relation.