MDLUL/ableitbar (Modallogik)

Start=ableitbar (Modallogik)

MDLUL/ableitbar (Modallogik)

Ziel=Modallogik/K/Ableitung/Definition