Weiter an Logik-Zusammenfassung
Logik-Zusammenfassung: Syntax-Definitionen, modale Logik
Logik-Zusammenfassung verlinkt