Start=K-Axiom

MDLUL/K-Axiom

Ziel=Modallogik/K/Definition