добре відомо, що модальний-kalculus - одна з найбільш експресивних часових логік для вираження властивостей дерев / графіків, і що CTL * суворо менш виразний, ніж-розрахунок.
Тут я хотів би попросити приклад -калькуляційна формула, максимально проста, яка не виражається в CTL *, і, сподіваємось, для пояснення її значення (формули з фіксованою точкою швидко стають нечитабельними). Будь-яка гарна посилання на "конкретний" простий приклад також була б чудовою!
Заздалегідь спасибі