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 |
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