Modallogik/K/Symmetrisch und euklidisch/Transitiv/Fakt
In einem modallogischen -System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,
gilt auch das Transitivitätsaxiom.
In einem modallogischen -System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,
gilt auch das Transitivitätsaxiom.