Modallogik/K/Universelles Modell/Durchschnitt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Eine Lösung erstellen