{"product_id":"einfuhrung-in-die-modallogik-von-max-j-cresswell-g-e-hughes","title":"Einführung in die Modallogik","description":"\u003cp\u003eFrontmatter -- 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\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783110046090\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9783110046090","offer_id":51405472582,"sku":"9783110046090","price":119.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/bdc5071a-3785-4ae5-87a7-1ad782c25ffa.jpg?v=1780634178","url":"https:\/\/shop.autorenwelt.de\/products\/einfuhrung-in-die-modallogik-von-max-j-cresswell-g-e-hughes","provider":"Autorenwelt Shop","version":"1.0","type":"link"}