CTL * y cálculo mu

es bien sabido que el cálculo μ modal$\mu$ 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 .$\mu$

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!$\mu$

Gracias de antemano

Tome una propiedad de ruta que no sea de primer orden, por ejemplo, que dice que existe un camino donde la proposición atómica