es bien sabido que el cálculo μ modal es una de las lógicas temporales más expresivas para expresar las propiedades de los árboles / gráficos, y que CTL * es estrictamente menos expresivo que el cálculo .
Aquí me gustaría pedir un ejemplo de fórmula de cálculo , tan simple como sea posible, que no se pueda expresar en CTL *, y con suerte una explicación de su significado (las fórmulas de punto fijo se vuelven rápidamente ilegibles). ¡Cualquier buena referencia para un ejemplo simple "concreto" también sería genial!
Gracias de antemano