Inhalt
I. Modalitätensysteme im Rahmen der klassischen Prädikatenlogik.- § 1. Die formalen Systeme M und S4.- § 2. Modelle der Modalitätenlogik.- § 3. Beweis des Konsistenzsatzes.- § 4. Nichtkonstruktiver Beweis des Vollständigkeitssatzes.- II. Syntaktische Eigenschaften schnittfreier Modalitätensysteme.- § 5. Die formalen Systeme M? und S4?.- § 6. Zulässige Schlüsse.- § 7. Herleitbare Formeln.- III. Beweis des Vollständigkeitssatzes für M? und S4?.- § 8. Formelbäume und Reduktionsbäume.- § 9. Beweis des syntaktischen Hauptlemmas.- §10. Beweis des semantischen Hauptlemmas.- IV. Einbettung der intuitionistischen Prädikatenlogik in S4?.- §11. Formales System IL der intuitionistischen Prädikatenlogik.- § 12. I-Formeln des Systems S4?.- § 13. I-Ausdrücke des Systems S4?.- V. Semantik der intuitionistischen Prädikatenlogik nach Kripke.- §14. Modelle der intuitionistischen Prädikatenlogik.- §15. Modelle der intuitionistischen Aussagenlogik.- §16. Intuitionistische Gültigkeit und Erfüllbarkeit.- VI. Semantik der intuitionistischen Prädikatenlogik nach Beth.- § 17. Beth-Modelle.- § 18. Umformung eines Baum-Modelles in ein Beth-Modell.- §19. Gültigkeits- und Erfüllbarkeitseigenschaften.- VII. Aussagenlogische Modalitätensysteme.- § 20. Die formalen Systeme M, S4, Br und S5.- § 21. Modelle der aussagenlogischen Modalitätensysteme.- § 22. Konstruktiver Beweis des Vollständigkeitssatzes.- § 23. Topologische Modelle des Systems S4.- Literatur.- Namen- und Sachverzeichnis.