Dependency Concepts up to Equivalence

Authors Erich Grädel, Matthias Hoelzel

Thumbnail PDF


  • Filesize: 0.55 MB
  • 21 pages

Document Identifiers

Author Details

Erich Grädel
  • Mathematical Foundations of Computer Science, RWTH Aachen University, Aachen, Germany
Matthias Hoelzel
  • Mathematical Foundations of Computer Science, RWTH Aachen University, Aachen, Germany

Cite AsGet BibTex

Erich Grädel and Matthias Hoelzel. Dependency Concepts up to Equivalence. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 119, pp. 25:1-25:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Modern logics of dependence and independence are based on different variants of atomic dependency statements (such as dependence, exclusion, inclusion, or independence) and on team semantics: A formula is evaluated not with a single assignment of values to the free variables, but with a set of such assignments, called a team. In this paper we explore logics of dependence and independence where the atomic dependency statements cannot distinguish elements up to equality, but only up to a given equivalence relation (which may model observational indistinguishabilities, for instance between states of a computational process or between values obtained in an experiment). Our main goal is to analyse the power of such logics, by identifying equally expressive fragments of existential second-order logic or greatest fixed-point logic, with relations that are closed under the given equivalence. Using an adaptation of the Ehrenfeucht-Fraïssé method we further study conditions on the given equivalences under which these logics collapse to first-order logic, are equivalent to full existential second-order logic, or are strictly between first-order and existential second-order logic.

Subject Classification

ACM Subject Classification
  • Theory of computation → Logic
  • Logics of dependence and independence
  • Team semantics
  • Existential second-order logic
  • Observational equivalence
  • Expressive power


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. A. Blass and Y. Gurevich. Henkin quantifiers and complete problems. Annals of Pure and Applied Logic, 32:1-16, 1986. Google Scholar
  2. H. Enderton. Finite partially ordered quantifiers. Z. Math. Logik, 16:393-397, 1970. Google Scholar
  3. F. Engström. Generalized quantifiers in dependence logic. Journal of Logic, Language, and Information, 2012. Google Scholar
  4. S. Abramsky et al., editor. Dependence Logic. Theory and Applications. Birkhäuser, 2016. Google Scholar
  5. P. Galliani. Inclusion and exclusion in team semantics - on some logics of imperfect information. Annals of Pure and Applied Logic, 163:68-84, 2012. Google Scholar
  6. P. Galliani and L. Hella. Inclusion Logic and Fixed Point Logic. In Computer Science Logic 2013, pages 281-295, 2013. Google Scholar
  7. E. Grädel. Games for inclusion logic and fixed-point logic. In S. Abramsky et al., editor, Dependence Logic. Theory and Applications. Birkhäuser, 2016. Google Scholar
  8. E. Grädel and J. Väänänen. Dependence and independence. Studia Logica, 101(2):399-410, 2013. Google Scholar
  9. L. Henkin. Some remarks on infinitely long formulas. Journal of Symbolic Logic, pages 167-183, 1961. Google Scholar
  10. J. Hintikka and G. Sandu. Informational independence as a semantical phenomenon. In Studies in Logic and Foundations of Mathematics, volume 126, pages 571-589. North-Holland, 1989. Google Scholar
  11. W. Hodges. Compositional semantics for a logic of imperfect information. Logic Journal of IGPL, 5:539-563, 1997. Google Scholar
  12. J. Kontinen and J. Väänänen. On definability in dependence logic. Journal of Logic, Language, and Information, 18:317-241, 2009. Google Scholar
  13. A. Mann, G. Sandu, and M. Sevenster. Independence-Friendly Logic. A Game-Theoretic Approach, volume 386 of London Mathematical Society Lecture Notes Series. Cambridge University Press, 2012. Google Scholar
  14. R. Rönnholm. Capturing k-ary existential second-order logic with k-ary inclusion-exclusion logic. Ann. Pure Appl. Logic, 169(3):177-215, 2018. Google Scholar
  15. J. Väänänen. Dependence logic: A new approach to independence friendly logic, volume 70. Cambridge University Press, 2007. Google Scholar
  16. W. Walkoe. Finite partially-ordered quantification. Journal of Symbolic Logic, 35:535-555, 1970. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail