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.