Modallogik/K/Systeme und Rahmen/Fakt

1. In einem gerichteten Graphen ${}(M,R)$ gilt das Möglichkeitsaxiom genau dann, wenn jeder Punkt ${}w\in M$ einen Nachfolger besitzt.
2. In einem gerichteten Graphen ${}(M,R)$ gilt das Reflexivitätsaxiom genau dann, wenn ${}R$ reflexiv ist.
3. In einem gerichteten Graphen ${}(M,R)$ gilt das Symmetrieaxiom genau dann, wenn ${}R$ symmetrisch ist.
4. In einem gerichteten Graphen ${}(M,R)$ gilt das Transitivitätsaxiom genau dann, wenn ${}R$ transitiv ist.
5. In einem gerichteten Graphen ${}(M,R)$ gilt das euklidische Axiom genau dann, wenn ${}R$ euklidisch ist.
6. In einem gerichteten Graphen ${}(M,R)$ gilt das Löb-Axiom genau dann, wenn ${}R$ transitiv ist und es in ${}M$ keine unendlichen Ketten gibt.

Zum Beweis, Alternativen Beweis erstellen