On independence-friendly fixpoint logics
Nous introduisons une extension aux points fixes de la logique IF (faite pour l’indépendance) de Hintikka et Sandu. Nous donnons des résultats sur sa complexité et son pouvoir expressif. Nous la relions aux jeux de parité à information imparfaite, et nous montrons une application à la définition d’u...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Article ou chapitre numérique |
| ভাষা: | Français |
| প্রকাশিত: |
2004
|
| অনলাইন ব্যবহার করুন: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| সংক্ষিপ্ত: | Nous introduisons une extension aux points fixes de la logique IF (faite pour l’indépendance) de Hintikka et Sandu. Nous donnons des résultats sur sa complexité et son pouvoir expressif. Nous la relions aux jeux de parité à information imparfaite, et nous montrons une application à la définition d’un mu-calcul modal fait pour l’indépendance. |
|---|