MDLUL/gilt (Modallogik Modell)

Start=gilt (Modallogik Modell)

MDLUL/gilt (Modallogik Modell)

Ziel=Modallogik/Modell/Ausdruck/Gültigkeit/Definition