Le mu-calcul (propositionnel et modal) a d`abord été introduit par Dana Scott et Jaco de Bakker puis a été étendu dans sa version moderne par Dexter Kozen. Cette logique permet de décrire les propriétés des systèmes de transition d`états et de les vérifier. De nombreuses logiques tempo...