PhD dissertation

  Fragments of Fixpoint Logics: Automata and Expressiveness.
Facundo Carreiro. Institute for Logic, Language and Computation. University of Amsterdam, 2015. Supervisor: Yde Venema.

This dissertation studies the relative expressive power and properties of several fixpoint and second-order logics. We use the term fixpoint logic in a broad sense, referring to any logic which can encode some type of recursion, iteration or repetition. Our main objective is to systematically identify several important logics as precise fragments of other well-known logics. In order to accomplish this task, we develop automata-theoretic tools to analyze these fragments. The results of this dissertation provide new insight on the relationship of fixpoint and second-order logic and provides further evidence of the successful logic-automata connection.


You can find my papers in Google Scholar and the PDF files of the articles here.