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