Extensions of MSO and the monadic counting hierarchy

  • Kontinen J
  • Niemistö H
  • 3

    Readers

    Mendeley users who have this article in their library.
  • 5

    Citations

    Citations of this article.

Abstract

In this paper, we study the expressive power of the extension of first-order logic by the unary second-order majority quantifier Most 1. In 1 it was shown that the extension of FO by second-order majority quantifiers of all arities describes exactly the problems in the counting hierarchy. We consider first certain sublogics of FO(Most1) over unary vocabularies. We show that over unary vocabularies the logic MSO(R), where MSO is monadic second-order logic and R is the first-order Rescher quantifier, can be characterized by Presburger arithmetic, whereas the logic MSO(Rn)n∈Z+, where Rn is the nth vectorization of R, corresponds to the Δ0-fragment of arithmetic. Then we show that FO(Most1)≥MSO(Rn) n∈Z+ and that, on unary vocabularies, FO(Most1) collapses to uniform-TC0. Using this collapse, we show that first-order logic with the binary second-order majority quantifier is strictly more expressive than FO(Most1) over the empty vocabulary. On the other hand, over strings, FO(Most1) is shown to capture the linear fragment of the counting hierarchy. Finally we show that, over non-unary vocabularies, FO(Most 1) can express problems complete via first-order reductions for each level of the counting hierarchy. © 2010 Elsevier Inc. All rights reserved.

Author-supplied keywords

  • Counting hierarchy
  • Majority quantifier
  • Monadic second-order logic
  • Second-order generalized quantifier

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Juha Kontinen

  • Hannu Niemistö

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free