Characterization and definability in modal first-order fragments - Facundo Carreiro (CoRR, 2010)

On Characterization, Definability and ω-Saturated Models. - Facundo Carreiro (ICTAC, 2011)

Basic Model Theory for Memory Logics. - Carlos Areces; Facundo Carreiro; Santiago Figueira; Sergio Mera (WoLLIC, 2011)

Beyond Regularity for Presburger Modal Logic. - Facundo Carreiro; Stéphane Demri (Advances in Modal Logic, 2012)

Coalgebraic Announcement Logics. - Facundo Carreiro; Daniel Gorín; Lutz Schröder (ICALP (2), 2013)

PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. - Facundo Carreiro; Yde Venema (Advances in Modal Logic, 2014)

Weak MSO: automata and expressiveness modulo bisimilarity. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (CSL-LICS, 2014)

Characterization, definability and separation via saturated models. - Carlos Areces; Facundo Carreiro; Santiago Figueira (Theor. Comput. Sci., 2014)

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. - Facundo Carreiro (LICS, 2015)

Characterization theorems for PDL and FO(TC). - Facundo Carreiro (CoRR, 2015)

The Power of the Weak. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (ACM Trans. Comput. Log., 2020)

Model theory of monadic predicate logic with the infinity quantifier. - Facundo Carreiro; Alessandro Facchini; Yde Venema; Fabio Zanasi (Arch. Math. Log., 2022)