Mögliche Notwendigkeit/Charakterisierung der Rahmen/Aufgabe

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

$\alpha \rightarrow \Diamond \Box \alpha$

gilt.

Eine Lösung erstellen