Passt nicht? Macht nichts! Bei uns ist die Rückgabe innerhalb von 30 Tagen möglich
Mit einem Geschenkgutschein können Sie nichts falsch machen. Der Beschenkte kann sich im Tausch gegen einen Geschenkgutschein etwas aus unserem Sortiment aussuchen.
30 Tage für die Rückgabe der Ware
Frontmatter -- TEIL I: MODALE AUSSAGENLOGIK -- Kapitel 1: Der nicht-modale Aussagenkalkül (AK) -- Kapitel 2: Das System T -- Kapitel 3: Die Systeme S4 und S5 -- Kapitel 4: Gültigkeit in T, S4 und S5 -- Kapitel 5: Entscheidungsverfahren und Vollständigkeit von T -- Kapitel 6: Entscheidungsverfahren und Vollständigkeit von S4 und S5 -- Kapitel 7: Alternative Basen für T, S4 und S5 -- TEIL II: MODALE PRÄDIKATENLOGIK -- Kapitel 8: Der Prädikatenkalkül erster Stufe (PK) -- Kapitel 9: Die Vollständigkeit modaler PKs -- Kapitel 10: Modalität und Existenz -- Kapitel 11: Identität und Kennzeichnung in modalen PKs -- TEIL III: ABRISS DER MODALLOGIK -- Kapitel 12: Lewis-Systeme I -- Kapitel 13: Lewis-Systeme II -- Kapitel 14: Andere modale Systeme der Aussagenlogik -- Kapitel 15: Gültigkeit und Entscheidungsverfahren für verschiedene Systeme -- Kapitel 16: Non-Standard-Systeme -- Kapitel 17: Boolesche Algebra und Modallogik -- Anhang 1: Natürliches Schließen und Modalsysteme -- Anhang 2: Folgebeziehung und strikte Implikation -- Anhang 3: Axiomatische Basen für Systeme der modalen Aussagenlogik -- Anhang 4: Notation -- Anhang 5: Kripkes Modellstrukturen und Hintikkas Modellmengen -- Lösungen zu den Übungsaufgaben -- Bibliographie -- Autorenregister -- Sachregister -- Liste der Zeichen und wichtigen Regeln -- Deutsch-englisches Glossar