Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

K.A. Bowen (Autor)

Buch | Softcover

139 Seiten

2010
Springer (Verlag)
978-90-481-8353-1 (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	30.12.2010
Reihe/Serie	Synthese Library ; 127
Zusatzinfo	1 Illustrations, black and white; X, 139 p. 1 illus.
Verlagsort	Dordrecht
Sprache	englisch
Maße	152 x 229 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
ISBN-10	90-481-8353-7 / 9048183537
ISBN-13	978-90-481-8353-1 / 9789048183531
Zustand	Neuware