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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bradfield, J.C.: Fixpoints in arithmetic, transition systems and trees. Theoretical Informatics and Applications 33, 341–356 (1999)
Bradfield, J.C.: Independence: logics and concurrency. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 247–261. Springer, Heidelberg (2000)
Bradfield, J.C., Fröschle, S.B.: Independence-friendly modal logic and true concurrency. Nordic J. Computing 9, 102–117 (2002)
Cameron, P., Hodges, W.: Some combinatorics of imperfect information. J. Symbolic Logic 66, 673–684 (2001)
Cenzer, D.: Monotone inductive definitions over the continuum. J. Symbolic Logic 41(1), 188–198 (1976)
Gottlob, G.: Relativized logspace and generalized quantifiers over finite ordered structures. J. Symbolic Logic 62(2), 545–574 (1997)
Hintikka, J., Sandu, G.: A revolution in logic? Nordic J. Philos. Logic 1(2), 169–183 (1996)
Hodges, W.: Compositional semantics for a language of imperfect information, Int. J. IGPL 5(4), 539–563
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bradfield, J.C. (2003). Parity of Imperfection or Fixing Independence. In: Baaz, M., Makowsky, J.A. (eds) Computer Science Logic. CSL 2003. Lecture Notes in Computer Science, vol 2803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45220-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-45220-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40801-7
Online ISBN: 978-3-540-45220-1
eBook Packages: Springer Book Archive