Characterizing Quantifier Extensions of Dependence Logic
Logic
2012-02-24 v1
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.
Keywords
Cite
@article{arxiv.1202.5247,
title = {Characterizing Quantifier Extensions of Dependence Logic},
author = {Fredrik Engström and Juha Kontinen},
journal= {arXiv preprint arXiv:1202.5247},
year = {2012}
}
Comments
9 pages