DFLOW: Duality For Logic On Words

Project funded by Horizon 2020, The EU Framework Programme for Research and Innovation, under the Global Fellowship scheme of the Marie Skłodowska-Curie Actions, grant 655941.

Short Summary
The mathematical theory of Stone duality underlies a deep connection between syntax and semantics in logic and theoretical computer science, and allows for powerful applications in both of these research fields. The aim of this project is to apply the topological methods provided by Stone duality to the study of the expressive power of logic in describing formal languages of both finite and infinite words.

The project started in January 2016. Sam van Gool is the post-doc research fellow on the project. The outgoing phase (2016-2017) takes place at the Department of Mathematics of City College of New York and is supervised by Benjamin Steinberg. The return phase (2018) will take place at the Institute for Logic, Language and Computation of the University of Amsterdam and will be supervised by Yde Venema. For more information, feel free to send an e-mail to Sam.

Project Highlights

(also see the full lists of Publications and Talks.)