Modallogik/K/Symmetrisch und euklidisch/Transitiv/Fakt

In einem modallogischen ${}K$-System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,

gilt auch das Transitivitätsaxiom.

Zum Beweis, Alternativen Beweis erstellen