Calcul Mu Modal

Une extension à points fixes de la logique modale qui ajoute des opérateurs de point fixe le plus petit (μ) et le plus grand (ν) pour exprimer des propriétés inductives et coinductives des systèmes de transition, permettant de spécifier des comportements récursifs et des propriétés régulières de trajectoires.