Start=Axiom (K)

MDLUL/Axiom (K)

Ziel=Modallogik/K/Definition