K. A. Bowen

Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

• Gebundenes Buch

Produktdetails

• Synthese Library 127
• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-90-277-0929-5
• 1979
• Seitenzahl: 156
• Erscheinungstermin: 31. Dezember 1978
• Englisch
• Abmessung: 241mm x 160mm x 14mm
• Gewicht: 386g
• ISBN-13: 9789027709295
• ISBN-10: 9027709297
• Artikelnr.: 22838604

Inhaltsangabe

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.