Extensions of MSO and the monadic counting hierarchy

5Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

Kontinen, J., & Niemistö, H. (2011). Extensions of MSO and the monadic counting hierarchy. Information and Computation, 209(1), 1–19. https://doi.org/10.1016/j.ic.2010.09.002

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free