On the expressive power of monadic second-order logic

• Applicant: Professor Dr. Achim Blumensath
• Subject Area: Theoretical Computer Science
• Term: from 2011 to 2015
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 191668914

In the project we investigate the expressive power of variants of monadic second-order logic and we develop tools to answer such questions of expressive power. The focus is on two areas: on the one hand we study extensions of monadic second-order logic by boundedness quantifiers, on the other hand we develop an algebraic language theory for languages of infinite trees.

• DFG Programme: Research Grants