Einführung in die Modallogik

G.E. Hughes; Max J. Cresswell

Published by De Gruyter 1978

Einführung in die Modallogik

G.E. Hughes and Max J. Cresswell
Translated by: Florian Coulmas , Roland Posner and Bernd Wiese

In the series Grundlagen der Kommunikation und Kognition / Foundations of Communication and Cognition

https://doi.org/10.1515/9783110830026

Contents

Frontmatter Requires Authentication Unlicensed Licensed Download PDF	I
TEIL I: MODALE AUSSAGENLOGIK
Kapitel 1: Der nicht-modale Aussagenkalkül (AK) Requires Authentication Unlicensed Licensed Download PDF	3
Kapitel 2: Das System T Requires Authentication Unlicensed Licensed Download PDF	19
Kapitel 3: Die Systeme S4 und S5 Requires Authentication Unlicensed Licensed Download PDF	38
Kapitel 4: Gültigkeit in T, S4 und S5 Requires Authentication Unlicensed Licensed Download PDF	54
Kapitel 5: Entscheidungsverfahren und Vollständigkeit von T Requires Authentication Unlicensed Licensed Download PDF	71
Kapitel 6: Entscheidungsverfahren und Vollständigkeit von S4 und S5 Requires Authentication Unlicensed Licensed Download PDF	91
Kapitel 7: Alternative Basen für T, S4 und S5 Requires Authentication Unlicensed Licensed Download PDF	107
TEIL II: MODALE PRÄDIKATENLOGIK
Kapitel 8: Der Prädikatenkalkül erster Stufe (PK) Requires Authentication Unlicensed Licensed Download PDF	117
Kapitel 9: Die Vollständigkeit modaler PKs Requires Authentication Unlicensed Licensed Download PDF	131
Kapitel 10: Modalität und Existenz Requires Authentication Unlicensed Licensed Download PDF	150
Kapitel 11: Identität und Kennzeichnung in modalen PKs Requires Authentication Unlicensed Licensed Download PDF	166
TEIL III: ABRISS DER MODALLOGIK
Kapitel 12: Lewis-Systeme I Requires Authentication Unlicensed Licensed Download PDF	189
Kapitel 13: Lewis-Systeme II Requires Authentication Unlicensed Licensed Download PDF	212
Kapitel 14: Andere modale Systeme der Aussagenlogik Requires Authentication Unlicensed Licensed Download PDF	226
Kapitel 15: Gültigkeit und Entscheidungsverfahren für verschiedene Systeme Requires Authentication Unlicensed Licensed Download PDF	243
Kapitel 16: Non-Standard-Systeme Requires Authentication Unlicensed Licensed Download PDF	260
Kapitel 17: Boolesche Algebra und Modallogik Requires Authentication Unlicensed Licensed Download PDF	277
Anhang 1: Natürliches Schließen und Modalsysteme Requires Authentication Unlicensed Licensed Download PDF	294
Anhang 2: Folgebeziehung und strikte Implikation Requires Authentication Unlicensed Licensed Download PDF	297
Anhang 3: Axiomatische Basen für Systeme der modalen Aussagenlogik Requires Authentication Unlicensed Licensed Download PDF	301
Anhang 4: Notation Requires Authentication Unlicensed Licensed Download PDF	307
Anhang 5: Kripkes Modellstrukturen und Hintikkas Modellmengen Requires Authentication Unlicensed Licensed Download PDF	310
Lösungen zu den Übungsaufgaben Requires Authentication Unlicensed Licensed Download PDF	313
Bibliographie Requires Authentication Unlicensed Licensed Download PDF	316
Autorenregister Requires Authentication Unlicensed Licensed Download PDF	328
Sachregister Requires Authentication Unlicensed Licensed Download PDF	329
Liste der Zeichen und wichtigen Regeln Requires Authentication Unlicensed Licensed Download PDF	337
Deutsch-englisches Glossar Requires Authentication Unlicensed Licensed Download PDF	339

Language: German
Publisher: De Gruyter
Copyright year: 1978
Edition: Reprint 2010
Pages
- Front matter: 10
- Main content: 340
Keywords: Modale Logik; Modalitätenlogik

eBook

Published: October 13, 2010
ISBN: 9783110830026

Hardcover

Published: June 1, 1978
ISBN: 9783110046090