Start=Modallogik

MDLUL/Modallogik

Ziel=Modallogik/Ableitungssystem/Definition