Model theory for modal logic : Kripke models for modal predicate calculi
著者
書誌事項
Model theory for modal logic : Kripke models for modal predicate calculi
(Synthese library, v. 127)
D. Reidel Pub. Co., c1979
- タイトル別名
-
Kripke models for modal predicate calculi
大学図書館所蔵 件 / 全46件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 119-122
Includes indexes
内容説明・目次
目次
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.
「Nielsen BookData」 より