AuthorBowen, Kenneth A. author
TitleModel Theory for Modal Logic [electronic resource] : Kripke Models for Modal Predicate Calculi / by Kenneth A. Bowen
ImprintDordrecht : Springer Netherlands : Imprint: Springer, 1979
Connect tohttp://dx.doi.org/10.1007/978-94-015-7642-0
Descript X, 139 p. 1 illus. online resource

CONTENT

Syntactic Considerations -- Modal Structures and Morphisms -- Validity -- Completeness -- Lรถwenheim-Skolem Theorems -- Ultraproducts -- Ultrafilter Pairs and Elementary Embeddings -- Direct Limits -- Model Extensions -- Inductive Theories -- Joint Consistency and Interpolation -- Model Completeness -- Finite Forcing -- Forcing and Model Completions -- Omitting Types and a Two-Cardinal Theorem


SUBJECT

  1. Philosophy
  2. Logic
  3. Philosophy
  4. Logic