Einführung in die Modallogik

G.E. Hughes; Max J. Cresswell

Book

Einführung in die Modallogik

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

Language: German

Published/Copyright: 1978

Published by

Become an author with De Gruyter Brill

Explore this Subject How to publish with us

This book is in the series

Grundlagen der Kommunikation und Kognition / Foundations of Communication and Cognition

Topics

Philosophy Logic

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

Publishing information

Pages and Images/Illustrations in book

eBook published on:

October 13, 2010

eBook ISBN:

9783110830026

Hardcover published on:

June 1, 1978

Hardcover ISBN:

9783110046090

Edition:

Reprint 2010

Pages and Images/Illustrations in book

Front matter:

10

Main content:

340

https://doi.org/10.1515/9783110830026

eBook ISBN: 9783110830026

Hardcover ISBN: 9783110046090

Keywords for this book

Modale Logik; Modalitätenlogik

Safety & product resources

Manufacturer information:
Walter de Gruyter GmbH
Genthiner Straße 13
10785 Berlin
productsafety@degruyterbrill.com

Einführung in die Modallogik

Overview

Topics

Table of contents

Bibliographic data