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

Die Gültigkeit einer modallogischen Ausdrucksmenge .