Characterizing Quantifier Extensions of Dependence Logic

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.Comment: 9 page