Modallogik/Rahmen/Euklidisch/Fakt

Aus Wikiversity

In einem gerichteten Graphen gilt das modallogische euklidische Axiom genau dann,

wenn euklidisch ist.