Start=System S4

MDLUL/System S4

Ziel=K-Modallogik/S4-System/Definition