Characterizing quantifier extensions of dependence logic

Abstract

AbstractWe 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.