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

LORE81
quelle

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
Sylvain
quelle
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