CTL * dan kalkulus mu

diketahui dengan baik bahwa modal kalkulus$\mu$ adalah salah satu logika temporal yang paling ekspresif untuk mengekspresikan properti pohon / grafik, dan bahwa CTL * sangat kurang ekspresif daripada kalkulus.$\mu$

Di sini saya ingin meminta contoh formula kalkulus, sesederhana mungkin, yang tidak dapat diungkapkan dalam CTL *, dan mudah-mudahan untuk penjelasan maknanya (rumus titik tetap cepat menjadi tidak dapat dibaca). Referensi bagus apa pun untuk contoh sederhana "konkret" juga akan bagus!$\mu$

Terima kasih sebelumnya

Ambil properti path yang tidak dapat diekspresikan dengan urutan pertama, misalnya yang mengatakan bahwa ada jalur di mana proposisi atom p berlaku pada setiap posisi genap, dan penilaian apa pun dapat digunakan pada posisi ganjil.