UID:
almafu_9958354710202883
Format:
1 online resource (350p.)
Edition:
Reprint 2010
ISBN:
9783110830026
Series Statement:
Grundlagen der Kommunikation und Kognition / Foundations of Communication and Cognition
Note:
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
,
In German.
Additional Edition:
ISBN 978-3-11-179031-2
Additional Edition:
ISBN 978-3-11-004609-0
Language:
German
DOI:
10.1515/9783110830026
URL:
https://doi.org/10.1515/9783110830026
URL:
https://doi.org/10.1515/9783110830026
Bookmarklink
