Model theory for modal logic. Kripke models for modal predicate calculi

zbMath0395.03022MaRDI QIDQ1252850

Kenneth A. Bowen

Publication date: 1979

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

InterpolationConsistencyCompletenessCompactnessPossible WorldsKripke ModelsModal LogicsDirect LimitsForcingInductive DefinitionLoewenheim-Skolem TheoremModal Predicate CalculiModel ExtensionsOmitting TyesRelational StructureSemanticTableaux MethodTwo-Cardinal TheoremUltrafilterUltraproducts

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)

Related Items (9)

Modal logic and model theory ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Constants in Kripke Models for Intuitionistic Logic ⋮ A complete logic for reasoning about programs via nonstandard model theory. I ⋮ Quantified temporal alethic-deontic logic ⋮ European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Intuitionistic typical ambiguity ⋮ A Category-Theoretic Approach to Social Network Analysis

This page was built for publication: Model theory for modal logic. Kripke models for modal predicate calculi