pith. sign in

arxiv: 1109.4750 · v6 · pith:I54UJBLQnew · submitted 2011-09-22 · 💻 cs.LO · math.LO

Dependence logic with a majority quantifier

classification 💻 cs.LO math.LO
keywords logicmajoritycomplexitydependenceextensionquantifiersecond-orderarities
0
0 comments X
read the original abstract

We study the extension of dependence logic D by a majority quantifier M over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, D(M) captures the complexity class counting hierarchy.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.