- 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.
- Links To Paper
- 1st Link
- Bibtex format
- @Article{EDI-INF-RR-0557,
- author = {
Julian Bradfield
},
- title = {On independence-friendly fixpoint logics},
- journal = {Philosophia Scientiae},
- year = 2004,
- month = {Dec},
- volume = {8(2)},
- pages = {125-144},
- url = {http://www.inf.ed.ac.uk/~jcb/Research/PhSvol8.2-7-Bradfield.pdf},
- }
|