Facundo Carreiro

According to our database, Facundo Carreiro authored at least 12 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Model theory of monadic predicate logic with the infinity quantifier.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Arch. Math. Log., 2022

2020

The Power of the Weak.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

ACM Trans. Comput. Log., 2020

2015

Characterization theorems for PDL and FO(TC).

Facundo Carreiro

CoRR, 2015

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic.

Facundo Carreiro

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Characterization, definability and separation via saturated models.

Carlos Areces, Facundo Carreiro, Santiago Figueira

Theor. Comput. Sci., 2014

Weak MSO: automata and expressiveness modulo bisimilarity.

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization.

Facundo Carreiro, Yde Venema

Proceedings of the Advances in Modal Logic 10, 2014

2013

Coalgebraic Announcement Logics.

Facundo Carreiro, Daniel Gorín, Lutz Schröder

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

Beyond Regularity for Presburger Modal Logic.

Facundo Carreiro, Stéphane Demri

Proceedings of the Advances in Modal Logic 9, 2012

2011

Basic Model Theory for Memory Logics.

Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera

Proceedings of the Logic, Language, Information and Computation, 2011

On Characterization, Definability and ω-Saturated Models.

Facundo Carreiro

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Characterization and definability in modal first-order fragments

Facundo Carreiro

CoRR, 2010