Abstract
We study logics defined in terms of so-called second-order monadic groupoidal quantifiers. These are generalized quantifiers defined by groupoid word-problems or equivalently by context-free languages. We show that, over strings with built-in arithmetic, the extension of monadic second-order logic by all second-order monadic groupoidal quantifiers collapses to its fragment \({{\rm mon-}Q^1_{{\rm Grp}}}{\text{\rm FO}}\). We also show a variant of this collapse which holds without built-in arithmetic. Finally, we relate these results to an open question regarding the expressive power of finite leaf automata with context-free leaf languages.
The first author was partially supported by grant 106300 of the Academy of Finland and the Vilho, Yrjö and Kalle Väisälä Foundation. The second author was partially supported by DFG grant VO 630/6-1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barrington, D.A.M., Immerman, N., Straubing, H.: On uniformity within NC1. Journal of Computer and System Sciences 41, 274–306 (1990)
Bédard, F., Lemieux, F., McKenzie, P.: Extensions to Barrington’s M-program model. Theoretical Computer Science 107, 31–61 (1993)
Büchi, J.R.: On a decision method in restricted second-order arithmetic. In: Proceedings Logic, Methodology and Philosophy of Sciences 1960, Stanford University Press, Stanford (1962)
Büchi, J.R., Elgot, C.C.: Decision problems of weak second order arithmetics and finite automata, Part I. Notices of the American Mathematical Society 5, 834 (1958)
Burtschick, H.J., Vollmer, H.: Lindström quantifiers and leaf language definability. International Journal of Foundations of Computer Science 9, 277–294 (1998)
Galota, M., Vollmer, H.: A generalization of the Büchi-Elgot-Trakhtenbrot theorem. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol. 2142, pp. 355–368. Springer, Heidelberg (2001)
Greibach, S.: The hardest context-free language. SIAM Journal on Computing 2, 304–310 (1973)
Hertrampf, U., Lautemann, C., Schwentick, T., Vollmer, H., Wagner, K.W.: On the power of polynomial time bit-reductions. In: Proceedings 8th Structure in Complexity Theory, pp. 200–207 (1993)
Kontinen, J., Niemistö, H.: Extensions of MSO and the monadic counting hierarchy (2006), http://www.helsinki.fi/~jkontine/
Lautemann, C., McKenzie, P., Schwentick, T., Vollmer, H.: The descriptive complexity approach to LOGCFL. Journal of Computer and Systems Sciences 62, 629–652 (2001)
Lindström, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186–195 (1966)
McNaughton, R., Papert, S.: Counter-Free Automata. MIT Press, Cambridge (1971)
Peichl, T., Vollmer, H.: Finite automata with generalized acceptance criteria. Discrete Mathematics and Theoretical Computer Science 4, 179–192 (2001)
Straubing, H.: Finite Automata, Formal Logic, and Circuit Complexity. Birkhäuser, Boston (1994)
Trakhtenbrot, B.A.: Finite automata and logic of monadic predicates (in Russian). Doklady Akademii Nauk SSSR 140, 326–329 (1961)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kontinen, J., Vollmer, H. (2008). On Second-Order Monadic Groupoidal Quantifiers. In: Hodges, W., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2008. Lecture Notes in Computer Science(), vol 5110. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69937-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-69937-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69936-1
Online ISBN: 978-3-540-69937-8
eBook Packages: Computer ScienceComputer Science (R0)