CORDIS
EU research results

CORDIS

English EN

Expressive Power of Tree Logics

Project information

Grant agreement ID: 239850

Status

Closed project

  • Start date

    1 November 2009

  • End date

    31 October 2014

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 799 920

  • EU contribution

    € 799 920

Hosted by:

UNIWERSYTET WARSZAWSKI

Poland

Objective

Logics for expressing properties of labeled trees and forests figure importantly in several different areas of Computer Science, including verification (branching temporal logics) and database theory (many XML query languages). The goal of this project is to investigate the expressive power of tree logics, mainly those logics that can be captured by tree automata. A similar study, but for word languages, is one of the main lines of research in formal language theory. The study of the expressive power of word logics has lead to many beautiful and fundamental results, including Schutzenberger's characterization of star-free languages, and the Krohn-Rhodes decomposition theorem. We intend to extend this research for trees. The type of questions we want to answer is: what is the expressive power of first-order logic in trees? is there a Krohn-Rhodes decomposition theory for trees? what is a tree group? We expect that our study of tree logics will use algebraic techniques, possibly the setting of forest algebra (as introduced by the principal investigator and Igor Walukiewicz). We would also like to extend the algebraic setting beyond regular languages of finite trees, to e.g. infinite trees, or nonregular languages.
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Principal Investigator

Mikolaj Bojanczyk (Mr.)

Host institution

UNIWERSYTET WARSZAWSKI

Address

Krakowskie Przedmiescie 26/28
00 927 Warszawa

Poland

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 799 920

Principal Investigator

Mikolaj Bojanczyk (Mr.)

Administrative Contact

Mikolaj Bojanczyk (Dr.)

Beneficiaries (1)

UNIWERSYTET WARSZAWSKI

Poland

EU Contribution

€ 799 920

Project information

Grant agreement ID: 239850

Status

Closed project

  • Start date

    1 November 2009

  • End date

    31 October 2014

Funded under:

FP7-IDEAS-ERC

  • Overall budget:

    € 799 920

  • EU contribution

    € 799 920

Hosted by:

UNIWERSYTET WARSZAWSKI

Poland