1
CTL * und Mu-Kalkül
es ist bekannt , dass das modale Kalkülμμ\mu 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.μμ\mu Hier würde Ich mag ein Beispiel für bitte Kalkül Formel, so einfach wie möglich, die nicht ausdrückbar in …