1
CTL * e mu-calculus
è ben noto che il -calculus modaleμμ\mu è una delle logiche temporali più espressive per esprimere le proprietà di alberi / grafici e che CTL * è strettamente meno espressivo del -calculus.μμ\mu Qui vorrei chiedere un esempio della formula -calculus, il più semplice possibile, che non è espressibile in CTL …