Abstract
The text contains a historical overview of semantical analysis for intuitionistic logic, but the very aim is an illustration of two important truth-preserving operations of Kripke semantics, generation and p-morphism, that allow us to narrow down classes of frames and models for intuitionistic logic.