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. |