Modallogik/Gerichteter Graph/Modell/Definition

Modallogisches Modell

Unter einem modallogischen Modell versteht man einen gerichteten Graphen ${}(M,R)$ zusammen mit einer Wahrheitsbelegung ${}\mu$ für die Aussagenvariablen für jeden Knotenpunkt ${}w\in M$ .

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.