Start=Axiomenschema K

MDLUL/Axiomenschema K

Ziel=Modallogik/K/Definition