KI-Beratung Beta

Produktbild: Model Theory for Modal Logic
Band 127

Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi

Aus der Reihe Synthese Library

106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1978

Abbildungen

X, 139 p. 1 illus.

Verlag

Springer Netherland

Seitenzahl

139

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

354 g

Auflage

1979

Sprache

Englisch

ISBN

978-90-277-0929-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.1978

Abbildungen

X, 139 p. 1 illus.

Verlag

Springer Netherland

Seitenzahl

139

Maße (L/B/H)

24,1/16/1,4 cm

Gewicht

354 g

Auflage

1979

Sprache

Englisch

ISBN

978-90-277-0929-5

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 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
  • 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.