MDLUL/Nezessisierungsregel

Start=Nezessierungsregel

MDLUL/Nezessisierungsregel

Ziel=Modallogik/K/Definition