Modallogik/Rahmen/Euklidisch/Fakt

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische euklidische Axiom genau dann,

wenn ${}R$ euklidisch ist.

Zum Beweis, Alternativen Beweis erstellen