MDLUL/Reflexivitätsaxiom (Modallogik)

Start=Reflexivitätsaxiom (Modallogik)

MDLUL/Reflexivitätsaxiom (Modallogik)

Ziel=Modallogik/Reflexivitätsaxiom/Definition