Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi (Synthese Library, Band 127) - Softcover

Bowen, K.A. A.

 
9789048183531: Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi (Synthese Library, Band 127)
Softcover
ISBN 10: 9048183537 ISBN 13: 9789048183531
Verlag: Springer, 2010

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
9048183537
ISBN 13 
9789048183531
Einband
Taschenbuch
Anzahl der Seiten
152
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9789027709295: Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi (Synthese Library, Vol.127)

Vorgestellte Ausgabe

ISBN 10:  9027709297 ISBN 13:  9789027709295
Verlag: D. Reidel Publishing Company, 1979
Hardcover