Computer Science Logic and 8th Kurt Gödel Colloquium J. C. Bradfield: Parity of Imperfection
Welcome and News Host Institutions Calls and Deadlines Program Social Program Registration Location and Venue Accommodation Committees Contact Colocated Events Authors' instructions	Print this page 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. © 2002-2003 Kurt Gödel Society, Norbert Preining. 2003-06-04