Model theory for modal logic. Kripke models for modal predicate calculi
scientific article; zbMATH DE number 3613018