CTL *とミュー計算

モーダル計算$\mu$は、ツリー/グラフのプロパティを表現するための最も表現力のある時相論理の1つであり、CTL *は、計算より厳密に表現力が低いことがよく知られています。$\mu$

ここでは、CTL *では表現できない、できるだけ単純な計算式の例を求めたいと思います。うまくいけば、その意味の説明を求めます（固定小数点式はすぐに判読できなくなります）。「具体的な」単純な例についての適切なリファレンスもすばらしいでしょう。$\mu$

前もって感謝します

一次表現できませんパスプロパティを取り、例えば 原子命題経路が存在することを言い、pはすべての偶数位置に保持し、そして任意の評価が奇数位置に使用することができるが。