MDLUL/System (Modallogik)

Start=System (Modallogik)

MDLUL/System (Modallogik)

Ziel=Modallogik/K/Definition