Mögliche Notwendigkeit/Charakterisierung der Rahmen/Aufgabe

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

\alpha \rightarrow \Diamond \Box \alpha

gilt.