Model Theory for Modal Logic
Kripke Models for Modal Predicate Calculi
Seiten
2010
Springer (Verlag)
978-90-481-8353-1 (ISBN)
Springer (Verlag)
978-90-481-8353-1 (ISBN)
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 |
| Geisteswissenschaften ► Philosophie ► Logik | |
| ISBN-10 | 90-481-8353-7 / 9048183537 |
| ISBN-13 | 978-90-481-8353-1 / 9789048183531 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …
Buch | Hardcover (2024)
Klett-Cotta (Verlag)
CHF 39,20
Gesundheitsschutz, Selbstbestimmungsrechte, Rechtspolitik
Buch | Softcover (2024)
Kohlhammer (Verlag)
CHF 54,60
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …
Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
CHF 19,55
