paper

Characterizing Quantifier Extensions of Dependence Logic

arXiv:1202.5247

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.

9 pages

Cited by in corpus (1)

Characterizing Quantifier Extensions of Dependence Logic · wovepaper