Einfuhrung in die Modallogik / G.E. Hughes und M.J. Cresswell ; [Aus dem Englischen ubersetzt von Florian Coulmas, Roland Posner und Bernd Wiese].

Format:

Book

Author/Creator:

Hughes, G. E.

Contributor:

Cresswell, M. J.

Coulmas, Florian.

Posner, Roland.

Wiese, Bernd.

Series:

Foundations of communication.

Grundlagen der Kommunikation

Language:

German

Subjects (All):

Modality (Logic).

Physical Description:

1 online resource (352 p.)

Edition:

Reprint 2010

Place of Publication:

Berlin : Walter de Gruyter, 1978.

Language Note:

German

Summary:

Einfuehrung in Die Modallogik

Contents:

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

Notes:

Description based upon print version of record.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Nov 2018)

Includes bibliographical references and indexes.

ISBN:

9783110830026

3110830027

OCLC:

850187009