Modallogik/K/Systeme und Rahmen/Fakt
- In einem
gerichteten Graphen
gilt das
Möglichkeitsaxiom
genau dann, wenn jeder Punkt
einen Nachfolger besitzt.
- In einem gerichteten Graphen
gilt das
Reflexivitätsaxiom
genau dann, wenn
reflexiv
ist.
- In einem gerichteten Graphen
gilt das
Symmetrieaxiom
genau dann, wenn
symmetrisch
ist.
- In einem gerichteten Graphen
gilt das
Transitivitätsaxiom
genau dann, wenn
transitiv
ist.
- In einem gerichteten Graphen
gilt das
euklidische Axiom
genau dann, wenn
euklidisch
ist.
- In einem gerichteten Graphen
gilt das
Löb-Axiom
genau dann, wenn
transitiv
ist und es in
keine unendlichen Ketten gibt.