English

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.

Keywords

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

R2 v1 2026-06-21T18:08:25.778Z