Modallogik/Gerichteter Graph/Semantik/Definition

Semantik der Modallogik

In einem modallogischen Modell (mit einer punktweisen Wahrheitsbelegung ) definiert man die Gültigkeit von modallogischen Ausdrücken induktiv wie folgt: Es sei der modallogische Ausdruck schon für jeden Weltpunkt definiert. Dann setzt man für einen jeden Weltpunkt

genau dann, wenn in jeder von aus erreichbaren Welt die Beziehung

gilt.