Model theory for modal logic : Kripke models for modal predicate calculi
Author(s)
Bibliographic Information
Model theory for modal logic : Kripke models for modal predicate calculi
(Synthese library, v. 127)
D. Reidel Pub. Co., c1979
- Other Title
-
Kripke models for modal predicate calculi
Available at / 47 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:164/b6752021032426
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 119-122
Includes indexes
Description and Table of Contents
Table of Contents
Syntactic Considerations.- Modal Structures and Morphisms.- Validity.- Completeness.- Loewenheim-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.
by "Nielsen BookData"