Characterizing Quantifier Extensions of Dependence Logic
Year: 2012
Type: preprint
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.
Source: arXiv (Cornell University)
Authors: Engström, Fredrik, Kontinen, Juha
Institutions: University of Gothenburg, University of Helsinki
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2952075922