MDLUL/System (K-System)

Start=System (K-System)

MDLUL/System (K-System)

Ziel=Modallogik/K/Definition