Repository | Journal | Volume | Articles
(2004) Philosophia Scientiae 8 (2).
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
DOI: 10.4000/philosophiascientiae.568
Full citation:
Bradfield, J. C. (2004). On independence-friendly fixpoint logics. Philosophia Scientiae 8 (2), pp. 125-144.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
