KI-Beratung Beta

  • Produktbild: Model Theory for Modal Logic
  • Produktbild: Model Theory for Modal Logic
Band 127 - 10%

Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi

Aus der Reihe Synthese Library
10% sparen

95,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.12.2010

Abbildungen

X, 139 p. 1 illus.

Verlag

Springer Netherland

Seitenzahl

139

Maße (L/B/H)

22,9/15,2/0,9 cm

Gewicht

231 g

Auflage

1979

Sprache

Englisch

ISBN

978-90-481-8353-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.12.2010

Abbildungen

X, 139 p. 1 illus.

Verlag

Springer Netherland

Seitenzahl

139

Maße (L/B/H)

22,9/15,2/0,9 cm

Gewicht

231 g

Auflage

1979

Sprache

Englisch

ISBN

978-90-481-8353-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Model Theory for Modal Logic
  • Produktbild: Model Theory for Modal Logic
  • 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.