Einführung in die Modallogik / / G.E. Hughes, Max J. Cresswell.

में बचाया:
ग्रंथसूची विवरण
Superior document:Title is part of eBook package: De Gruyter DGBA Philosophy <1990
VerfasserIn:
MitwirkendeR:
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2010]
©1978
प्रकाशन का वर्ष :2010
संस्करण:Reprint 2010
भाषा:German
श्रृंखला:Grundlagen der Kommunikation und Kognition / Foundations of Communication and Cognition
ऑनलाइन पहुंच:
भौतिक वर्णन:1 online resource (340 p.)
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
विवरण
Other title: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
स्वरूप:Mode of access: Internet via World Wide Web.
आईएसबीएन:9783110830026
9783110636925
डिजिटल ऑब्जेक्ट पहचानकर्ता:10.1515/9783110830026
अभिगमन:restricted access
Hierarchical level:Monograph
Statement of Responsibility: G.E. Hughes, Max J. Cresswell.