MDLUL/modallogische Ausdrucksmenge

Start=modallogische Ausdrucksmenge

MDLUL/modallogische Ausdrucksmenge

Ziel=Modallogik/Sprache/Definition