3
Por que usar
Sabe-se que as lógicas temporais LTL, CTL, CTL * podem ser traduzidas / incorporadas no μμ\mu-cálculo. Em outras palavras, o (modal)μμ\mu-calculus inclui essas lógicas (ou seja, é mais expressivo). Você poderia, por favor, me explicar / apontar para papéis / livros que elaboram esse assunto? Em particular, existem propriedades concretas …