Modallogik/Gerichteter Graph/Modell/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Modallogisches Modell

Unter einem modallogischen Modell versteht man einen gerichteten Graphen zusammen mit einer Wahrheitsbelegung für die Aussagenvariablen für jeden Knotenpunkt .