Hierarchies in Dependence Logic
Logic in Computer Science
2015-03-19 v1
Abstract
We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these fragments of dependence logic. We also show that these both ways of defining fragments of dependence logic give rise to a hierarchy in expressive power with respect to k.
Cite
@article{arxiv.1105.3324,
title = {Hierarchies in Dependence Logic},
author = {Arnaud Durand and Juha Kontinen},
journal= {arXiv preprint arXiv:1105.3324},
year = {2015}
}
Comments
21 pages