Skip to main content

Characterizing quantifier extensions of dependence logic

  • Fredrik Engström (a1) and Juha Kontinen (a2)

We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.

Hide All
[1]Abramsky, Samson and Väänänen, Jouko, From IF to BI: a tale of dependence and separation, Synthese, vol. 167 (2009), no. 2, pp. 207230.
[2]Durand, Arnaud, Ebbing, Johannes, Kontinen, Juha, and Vollmer, Heribert, Dependence logic with a majority quantifier, Foundations of software technology and theoretical computer science (Chakraborty, Supratik and Kumar, Amit, editors), Leibniz International Proceedings in Informatics, vol. 13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011, pp. 252263.
[3]Durand, Arnaud and Kontinen, Juha, Hierarchies in dependence logic, ACM Transactions on Computational Logic, vol. 13 (2012), no. 4, pp. 31:131:21.
[4]Engström, Fredrik, Generalized quantifiers in dependence logic, Journal of Logic, Language and Information, vol. 21 (2012), no. 3, pp. 299324.
[5]Galliani, Pietro, Inclusion and exclusion dependencies in team semantics—on some logics of imperfect information, Annals of Pure and Applied Logic, vol. 163 (2012), no. 1, pp. 6884.
[6]Grädel, Erich and Väänänen, Jouko, Dependence and independence, Studia Logica, to appear.
[7]Henkin, L., Some remarks on infinitely long formulas, Infinitistic Methods (Proceeding of the Symposium on Foundations of Mathematics, Warsaw, 1959), Pergamon, Oxford, 1961, pp. 167183.
[8]Hintikka, Jaakko and Sandu, Gabriel, Informational independence as a semantical phenomenon, Logic, methodology and philosophy of science, VIII (Moscow, 1987) (Fenstad, Jens Erik, Frolov, Ivan T., and Hilpinen, Risto, editors), Studies in Logic and the Foundations of Mathematics, vol. 126, North-Holland, Amsterdam, 1989, pp. 571589.
[9]Kontinen, Juha and Väänänen, Jouko A., On definability in dependence logic, Journal of Logic, Language and Information, vol. 18 (2009), no. 3, pp. 317332.
[10]Lindström, Per, First order predicate logic with generalized quantifiers, Theoria, vol. 32 (1966), pp. 186195.
[11]Mostowski, Andrzej, On a generalization of quantifiers, Fundamenta Mathematical vol. 44 (1957), pp. 1236.
[12]Väänänen, Jouko, Dependence logic: A new approach to independence friendly logic, London Mathematical Society Student Texts, vol. 70, Cambridge University Press, Cambridge, 2007.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *