Modallogik/Modell/Ausdruck/Gültigkeit/Definition/Begriff