dobrze wiadomo, że modal -calculus jest jedną z najbardziej ekspresyjnych logik czasowych do wyrażania właściwości drzew / grafów, i że CTL * jest ściśle mniej ekspresyjny niż -calculus.
W tym miejscu chciałbym poprosić o przykład formuły calculus, tak prostej, jak to możliwe, która nie jest wyrażalna w CTL *, i mam nadzieję, że wyjaśni wyjaśnienie jej znaczenia (formuły stałoprzecinkowe szybko stają się nieczytelne). Wszelkie dobre odniesienia do „konkretnego” prostego przykładu również byłyby świetne!
Z góry dziękuję