top
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.
Bradfield, J. C.. "On independence-friendly fixpoint logics." Philosophia Scientiae 8.2 (2004): 125-144. <http://eudml.org/doc/103722>.
@article{Bradfield2004, abstract = {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.}, author = {Bradfield, J. C.}, journal = {Philosophia Scientiae}, language = {eng}, number = {2}, pages = {125-144}, publisher = {Éditions Kimé}, title = {On independence-friendly fixpoint logics}, url = {http://eudml.org/doc/103722}, volume = {8}, year = {2004}, }
TY - JOUR AU - Bradfield, J. C. TI - On independence-friendly fixpoint logics JO - Philosophia Scientiae PY - 2004 PB - Éditions Kimé VL - 8 IS - 2 SP - 125 EP - 144 AB - 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. LA - eng UR - http://eudml.org/doc/103722 ER -