Cálculo Mu Modal

Una extensión con puntos fijos de la lógica modal que añade operadores de punto fijo menor (μ) y mayor (ν) para expresar propiedades inductivas y coinductivas de sistemas de transición, permitiendo especificar comportamientos recursivos y propiedades regulares de trayectorias.