| 000 | 01145cam a2200169 4500500 | ||
|---|---|---|---|
| 005 | 20250125141917.0 | ||
| 041 | _afre | ||
| 042 | _adc | ||
| 100 | 1 | 0 |
_aBradfield, J. C. _eauthor |
| 245 | 0 | 0 | _aOn independence-friendly fixpoint logics |
| 260 | _c2004. | ||
| 500 | _a18 | ||
| 520 | _aNous 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. | ||
| 520 | _aWe 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. | ||
| 786 | 0 | _nPhilosophia Scientiæ | 8-2 | 2 | 2004-10-01 | p. - | 1281-2463 | |
| 856 | 4 | 1 | _uhttps://shs.cairn.info/revue-philosophia-scientiae-2004-2-page- ?lang=en&redirect-ssocas=7080 |
| 999 |
_c1015210 _d1015210 |
||