K. A. Bowen

Model Theory for Modal Logic

Kripke Models for Modal Predicate Calculi

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Synthese Library Vol.127
• Verlag: Springer / Springer Netherlands
• Artikelnr. des Verlages: 978-90-481-8353-1
• 1979
• Seitenzahl: 152
• Erscheinungstermin: 30. Dezember 2010
• Englisch
• Abmessung: 229mm x 152mm x 9mm
• Gewicht: 231g
• ISBN-13: 9789048183531
• ISBN-10: 9048183537
• Artikelnr.: 32094255

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.