Characterizing Quantifier Extensions of Dependence Logic

TL;DR

This paper explores how extending Dependence Logic and Independence Logic with monotone generalized quantifiers affects their expressive power, linking these extensions to quantifier extensions of existential second-order logic.

Contribution

It provides a characterization of the expressive power of these logic extensions in terms of existential second-order logic.

Findings

Extensions with monotone generalized quantifiers increase expressive power.

Characterization aligns with quantifier extensions of existential second-order logic.

Provides a formal framework for understanding these logical extensions.

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.