ISBN: 9789048183531 - model theory for modal logic: kripke models for modal predicate calculi (synthese library, band 127) (1 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…