CTL * und Mu-Kalkül

es ist bekannt , dass das modale Kalkül$\mu$ 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.$\mu$

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!$\mu$

Vielen Dank im Voraus

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.