Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
11. Modallogik
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Frontmatter I
- Inhaltsverzeichnis V
- Vorwort XI
- 1. Einleitung 1
- 2. Mengenlehre 9
- 3. Relationen und Funktionen 18
- 4. Aussagenlogik 34
- 5. Prädikatenlogik 55
- 6. Typentheorie 126
- 7. Kategorialgrammatik 149
- 8. λ-Kalkül 155
- 9. Semantik der Nominalphrasen 182
- 10. Temporalsemantik 230
- 11. Modallogik 277
- 12. Intensionale Logik 299
- 13. Propositionen und Propositionenmengen 339
- 14. Fragesemantik 360
- 15. Informationsstruktur 379
- 16. Symbol-Verzeichnis 403
- 17. Lösungen der Übungsaufgaben 405
- Literatur 421
- Register 427
Kapitel in diesem Buch
- Frontmatter I
- Inhaltsverzeichnis V
- Vorwort XI
- 1. Einleitung 1
- 2. Mengenlehre 9
- 3. Relationen und Funktionen 18
- 4. Aussagenlogik 34
- 5. Prädikatenlogik 55
- 6. Typentheorie 126
- 7. Kategorialgrammatik 149
- 8. λ-Kalkül 155
- 9. Semantik der Nominalphrasen 182
- 10. Temporalsemantik 230
- 11. Modallogik 277
- 12. Intensionale Logik 299
- 13. Propositionen und Propositionenmengen 339
- 14. Fragesemantik 360
- 15. Informationsstruktur 379
- 16. Symbol-Verzeichnis 403
- 17. Lösungen der Übungsaufgaben 405
- Literatur 421
- Register 427