Vollstndige Systeme modaler und intuitionistischer Logik [Paperback]

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.Springer Book Archives