diketahui dengan baik bahwa modal kalkulus adalah salah satu logika temporal yang paling ekspresif untuk mengekspresikan properti pohon / grafik, dan bahwa CTL * sangat kurang ekspresif daripada kalkulus.
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!
Terima kasih sebelumnya