Modallogik/K/Universelles Modell/Durchschnitt/Aufgabe

Es sei ${}K=K^{\vdash }$ die ${}K$-Modallogik und sei ${}U$ das universelle modallogische Modell. Zeige

${}K=\bigcap _{W\in U}W\,.$

Eine Lösung erstellen