Characterizing quantifier extensions of dependence logic
Fredrik Engström, Juha Kontinen · Journal of Symbolic Logic · 2013
Abstract 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.