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.
Fredrik Engström. Juha Kontinen. "Characterizing quantifier extensions of dependence logic." J. Symbolic Logic 78 (1) 307 - 316, March 2013. https://doi.org/10.2178/jsl.7801210
Information