Modallogik/Gerichteter Graph/Modell/Definition
Modallogisches Modell
Unter einem modallogischen Modell versteht man einen gerichteten Graphen zusammen mit einer Wahrheitsbelegung für die Aussagenvariablen für jeden Knotenpunkt .
Unter einem
modallogischen Modell
versteht man einen
gerichteten Graphen
zusammen mit einer
Wahrheitsbelegung
für die
Aussagenvariablen
für jeden Knotenpunkt
.