On independence-friendly fixpoint logics
Philosophia Scientiae, Tome 8 (2004) no. 2, pp. 125-144.

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.

We introduce a fixpoint extension of Hintikka and Sandu's IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi.

@article{PHSC_2004__8_2_125_0,
     author = {Bradfield, J. C.},
     title = {On independence-friendly fixpoint logics},
     journal = {Philosophia Scientiae},
     pages = {125--144},
     publisher = {\'Editions Kim\'e},
     volume = {8},
     number = {2},
     year = {2004},
     language = {en},
     url = {http://www.numdam.org/item/PHSC_2004__8_2_125_0/}
}
TY  - JOUR
AU  - Bradfield, J. C.
TI  - On independence-friendly fixpoint logics
JO  - Philosophia Scientiae
PY  - 2004
SP  - 125
EP  - 144
VL  - 8
IS  - 2
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_2004__8_2_125_0/
LA  - en
ID  - PHSC_2004__8_2_125_0
ER  - 
%0 Journal Article
%A Bradfield, J. C.
%T On independence-friendly fixpoint logics
%J Philosophia Scientiae
%D 2004
%P 125-144
%V 8
%N 2
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_2004__8_2_125_0/
%G en
%F PHSC_2004__8_2_125_0
Bradfield, J. C. On independence-friendly fixpoint logics. Philosophia Scientiae, Tome 8 (2004) no. 2, pp. 125-144. http://www.numdam.org/item/PHSC_2004__8_2_125_0/