Model Theory for Modal Logic
Kripke Models for Modal Predicate Calculi
Seiten
1978
Kluwer Academic Publishers (Verlag)
978-90-277-0929-5 (ISBN)
Kluwer Academic Publishers (Verlag)
978-90-277-0929-5 (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 | 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 |
| Geisteswissenschaften ► Philosophie ► Logik | |
| ISBN-10 | 90-277-0929-7 / 9027709297 |
| ISBN-13 | 978-90-277-0929-5 / 9789027709295 |
| 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
