es ist bekannt , dass das modale Kalkül eine der ausdrucks temporalen Logik ist für Eigenschaften der Bäume / Graphen ausdrücken, und dass CTL * ist streng weniger ausdrucksvoll als das Kalkül.
Hier würde Ich mag ein Beispiel für bitte Kalkül Formel, so einfach wie möglich, die nicht ausdrückbar in CTL * ist, und hoffentlich für eine explaination seiner Bedeutung (Festpunkt Formeln schnell unleserlich werden). Jede gute Referenz für ein "konkretes" einfaches Beispiel wäre auch großartig!
Vielen Dank im Voraus