Mögliche Notwendigkeit/Charakterisierung der Rahmen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Charakterisiere die modallogischen Rahmen, in denen (bei jeder Wahrheitsbelegung) das Axiomenschema

gilt.