Start=Modallogik (S5)

MDLUL/Modallogik (S5)

Ziel=K-Modallogik/S5-System/Definition