Modallogik/K/Modell/Diamond-Iterationen/Zyklisch/Aufgabe

Es sei ${}r\in \mathbb {N}$ . Charakterisiere das modallogische Axiomenschema

\vdash \alpha \leftrightarrow \Diamond ^{r}\alpha

graphentheoretisch.