|
" Model Theory for Modal Logic : "
by Kenneth A. Bowen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
772102
|
| Doc. No
|
:
|
b592095
|
| Main Entry
|
:
|
by Kenneth A. Bowen.
|
| Title & Author
|
:
|
Model Theory for Modal Logic : : Kripke Models for Modal Predicate Calculi\ by Kenneth A. Bowen.
|
| Publication Statement
|
:
|
Dordrecht : Springer Netherlands : Imprint : Springer, 1979
|
| Series Statement
|
:
|
Synthese library, 127.
|
| ISBN
|
:
|
9048183537
|
|
|
:
|
: 9401576424
|
|
|
:
|
: 9789048183531
|
|
|
:
|
: 9789401576420
|
| Contents
|
:
|
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
|
:
|
Logic.
|
| Subject
|
:
|
Philosophy (General)
|
| Added Entry
|
:
|
Kenneth A Bowen
|
| |