Model theory for modal logic. Kripke models for modal predicate calculi
From MaRDI portal
Publication:1252850
zbMath0395.03022MaRDI QIDQ1252850
Publication date: 1979
Published in: Synthese Library (Search for Journal in Brave)
Interpolation; Consistency; Completeness; Compactness; Possible Worlds; Kripke Models; Modal Logics; Direct Limits; Forcing; Inductive Definition; Loewenheim-Skolem Theorem; Modal Predicate Calculi; Model Extensions; Omitting Tyes; Relational Structure; Semantic; Tableaux Method; Two-Cardinal Theorem; Ultrafilter; Ultraproducts
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Cxx: Model theory
Related Items
Constants in Kripke Models for Intuitionistic Logic, First-order expressivity for S5-models: Modal vs. two-sorted languages, Intuitionistic typical ambiguity, Modal logic and model theory, A complete logic for reasoning about programs via nonstandard model theory. I, A formal characterisation of Hamblin's action-state semantics, A Category-Theoretic Approach to Social Network Analysis, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986