Start=Axiom (K-Axiom)

MDLUL/Axiom (K-Axiom)

Ziel=Modallogik/K/Definition