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

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

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

graphentheoretisch.

Eine Lösung erstellen