Modallogisches Modell/Gültigkeitsmenge/Vorgängermenge/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zu einem modallogischen Modell und einem modallogischen Ausdruck setzen wir

Zeige