MDLUL/Ableitung (Modallogik)