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

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

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

graphentheoretisch.

Eine Lösung erstellen