
Publication details
Publisher: Kimé
Place: Koeln
Year: 2004
Pages: 125-144
Series: Philosophia Scientiae
Full citation:
, "On independence-friendly fixpoint logics", Philosophia Scientiae 8 (2), 2004, pp. 125-144.


On independence-friendly fixpoint logics
pp. 125-144
in: Manuel Rebuschi, Tero Tulenheimo (eds), Logique & théorie des jeux, Philosophia Scientiae 8 (2), 2004.Abstract
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.
Publication details
Publisher: Kimé
Place: Koeln
Year: 2004
Pages: 125-144
Series: Philosophia Scientiae
Full citation:
, "On independence-friendly fixpoint logics", Philosophia Scientiae 8 (2), 2004, pp. 125-144.