Modallogik/Rahmen/Euklidisch/Fakt/Beweis/Aufgabe