Boolean Dependence Logic and Partially-Ordered Connectives

  • Johannes Ebbing
  • Lauri Hella
  • Peter Lohmann
  • Jonni Virtema
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8071)


We introduce a new variant of dependence logic (\(\mathcal{D}\)) called Boolean dependence logic (\(\mathcal{BD}\)). In \(\mathcal{BD}\) dependence atoms are of the type =(x 1,...,x n ,α), where α is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions.

We compare the expressive power of \(\mathcal{BD}\) to \(\mathcal{D}\) and first-order logic enriched by partially-ordered connectives, \(\mathcal{FO(POC)}\). We show that the expressive power of \(\mathcal{BD}\) and \(\mathcal{D}\) coincide. We define natural syntactic fragments of \(\mathcal{BD}\) and show that they coincide with the corresponding fragments of \(\mathcal{FO(POC)}\) with respect to expressive power. We then show that the fragments form a strict hierarchy.


Dependence Logic Partially-Ordered Connectives Expressivity Existential Second-Order Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abramsky, S., Väänänen, J.: From IF to BI. Synthese 167(2) (2009)Google Scholar
  2. 2.
    Barwise, J.: Applications of Strict \(\Pi^1_1\) Predicates to Infinitary Logic. J. Symb. Log. 34(3) (1969)Google Scholar
  3. 3.
    Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Annals of Pure and Applied Logic 32 (1986)Google Scholar
  4. 4.
    Durand, A., Kontinen, J.: Hierarchies in Dependence Logic. ACM Transactions on Computational Logic 13(4) (2012)Google Scholar
  5. 5.
    Grädel, E., Väänänen, J.: Dependence and independence. Studia Logica (2013)Google Scholar
  6. 6.
    Enderton, H.B.: Finite partially-ordered quantifiers. Z. Math. Logik Grundlagen Math. 16, 393–397 (1970)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Hella, L., Sevenster, M., Tulenheimo, T.: Partially Ordered Connectives and Monadic Monotone Strict NP. J. of Logic, Lang. and Inf. 17(3) (2008)Google Scholar
  8. 8.
    Henkin, L.: Some remarks on infinitely long formulas. In: Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959). Pergamon, Oxford (1961)Google Scholar
  9. 9.
    Hintikka, J.: The principles of mathematics revisited. Cambridge Univ. Press (1996)Google Scholar
  10. 10.
    Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Logic, Methodology and Philosophy of Science, VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 571–589 (1989)Google Scholar
  11. 11.
    Kontinen, J., Kuusisto, A., Lohmann, P., Virtema, J.: Complexity of two-variable Dependence Logic and IF-Logic. In: Proceedings of LICS 2011, pp. 289–298 (2011)Google Scholar
  12. 12.
    Lohmann, P., Vollmer, H.: Complexity results for modal dependence logic. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 411–425. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Sandu, G., Väänänen, J.: Partially ordered connectives. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38 (1992)Google Scholar
  14. 14.
    Sevenster, M.: Model-theoretic and computational properties of modal dependence logic. J. Log. Comput. 19(6), 1157–1173 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Sevenster, M., Tulenheimo, T.: Partially Ordered Connectives and ∑1 1 on Finite Models. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 516–525. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Väänänen, J.: Dependence logic: A new approach to independence friendly logic. London Math. Soc. Stud. Texts, vol. 70 (2007)Google Scholar
  17. 17.
    Walkoe Jr., W.J.: Finite partially-ordered quantification. J. Symbolic Logic 35, 535–555 (1970)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Johannes Ebbing
    • 1
  • Lauri Hella
    • 2
  • Peter Lohmann
    • 1
  • Jonni Virtema
    • 2
  1. 1.Theoretical Computer ScienceLeibniz University HannoverGermany
  2. 2.Mathematics, School of Information SciencesUniversity of TampereFinland

Personalised recommendations