Modallogik/Modelltheorie/Wohldefiniert/Aufgabe

Zeige, dass bei einer Belegung der Aussagenvariablen durch die Definition der Wahrheitswert für jeden modallogischen Ausdruck in jedem Punkt eines modallogischen Modelles eindeutig festgelegt ist.