Characterizing Quantifier Extensions of Dependence Logic
  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. 
Fredrik Engstr\"om and Juha Kontinen
math.LO