Start=System (S5)

MDLUL/System (S5)

Ziel=K-Modallogik/S5-System/Definition