Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

K.A. Bowen (Autor)

Buch | Hardcover

139 Seiten

1978
Kluwer Academic Publishers (Verlag)
978-90-277-0929-5 (ISBN)

Artikel merken

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.

Erscheint lt. Verlag	31.12.1978
Reihe/Serie	Synthese Library ; 127
Zusatzinfo	1 Illustrations, black and white; X, 139 p. 1 illus.
Verlagsort	Dordrecht
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
ISBN-10	90-277-0929-7 / 9027709297
ISBN-13	978-90-277-0929-5 / 9789027709295
Zustand	Neuware