Model Theory for Modal Logic [electronic resource] : Kripke Models for Modal Predicate Calculi / by Kenneth A. Bowen

Author	Bowen, Kenneth A. author
Title	Model Theory for Modal Logic [electronic resource] : Kripke Models for Modal Predicate Calculi / by Kenneth A. Bowen
Imprint	Dordrecht : Springer Netherlands : Imprint: Springer, 1979
Connect to	http://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

Philosophy Logic Philosophy Logic