@inproceedings{542912b40db74556960425a74bc11a25,
title = "Parity of Imperfection or Fixing Independence",
abstract = "We introduce a fixpoint extension of Hintikka and Sandu{\textquoteright}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 = "Julian Bradfield",
year = "2003",
doi = "10.1007/978-3-540-45220-1_8",
language = "English",
isbn = "978-3-540-40801-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "72--85",
editor = "Matthias Baaz and Makowsky, {Johann A.}",
booktitle = "Computer Science Logic",
address = "United Kingdom",
}