Modallogik/K/Universelles Modell/Durchschnitt/Aufgabe

Es sei die -Modallogik und sei das universelle modallogische Modell. Zeige