Modallogik/Gerichteter Graph/Modell/Definition
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 .