MDLUL/Transitivitätsaxiom

Start=Transitivitätsaxiom

MDLUL/Transitivitätsaxiom

Ziel=Modallogik/Transitivitätsaxiom/Definition