タグ付けされた質問 「mu-calculus」

時相論理LTL、CTL、CTL *は、計算に変換/埋め込みできることが知られています。言い換えると、（モーダル）μ計算はこれらのロジックを包括します（つまり、より表現力があります）。μμ\muμμ\mu この問題について詳しく説明している論文や本を説明してください。特に、時相論理では表現できず、微積分では表現できない具体的な公平性や活性などの性質はありますか？μμ\mu

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic