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

Es seien ${}r,s\in \mathbb {N}$. Charakterisiere das modallogische Axiomenschema

$\vdash \Diamond ^{r}\alpha \rightarrow \Diamond ^{s}\alpha$

graphentheoretisch.

Eine Lösung erstellen