Kapitel 6: Entscheidungsverfahren und Vollständigkeit von S4 und S5

Chapters in this book

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