CTL * und Mu-Kalkül


9

es ist bekannt , dass das modale Kalkülμ eine der ausdrucks temporalen Logik ist für Eigenschaften der Bäume / Graphen ausdrücken, und dass CTL * ist streng weniger ausdrucksvoll als das Kalkül.μ

Hier würde Ich mag ein Beispiel für bitte Kalkül Formel, so einfach wie möglich, die nicht ausdrückbar in CTL * ist, und hoffentlich für eine explaination seiner Bedeutung (Festpunkt Formeln schnell unleserlich werden). Jede gute Referenz für ein "konkretes" einfaches Beispiel wäre auch großartig!μ

Vielen Dank im Voraus

Antworten:


11

Nehmen Sie eine Pfadeigenschaft, die nicht in erster Ordnung ausgedrückt werden kann, z . B. das besagt, dass es einen Pfad gibt, auf dem der Atomsatz p an jeder geraden Position gilt, und jede Bewertung kann für ungerade Positionen verwendet werden.

νx.px
p

Vielen Dank für diese einfache Antwort. Könnten Sie auch eine Referenz vorschlagen, die dieses Beispiel unterstützt?
Nochmals vielen

Schöne Frage & Antwort (+2). Schauen Sie sich cstheory.stackexchange.com/q/16186/6424 an . Auch dort habe ich das Beispiel der Gleichmäßigkeit gegeben. Vielleicht bezieht sich eine Antwort auch auf Gleichmäßigkeit.
DaveBall aka user750378

p
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.