MDLUL/Transitivitätsaxiom (Modallogik)

Start=Transitivitätsaxiom (Modallogik)

MDLUL/Transitivitätsaxiom (Modallogik)

Ziel=Modallogik/Transitivitätsaxiom/Definition