MDLUL/modallogische Aussage

Start=modallogische Aussage

MDLUL/modallogische Aussage

Ziel=Modallogik/Sprache/Definition