Facundo Carreiro

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 6

Top Topics

Predicate Logic

Top Venues

ACM Trans. Comput. Log.

Publications

Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model theory of monadic predicate logic with the infinity quantifier. Arch. Math. Log. 61 (3-4) (2022)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. ACM Trans. Comput. Log. 21 (2) (2020)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Model Theory of Monadic Predicate Logic with the Infinity Quantifier. CoRR (2018)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
The Power of the Weak. CoRR (2018)
Facundo Carreiro
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. LICS (2015)
Facundo Carreiro
Characterization theorems for PDL and FO(TC). CoRR (2015)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity. CSL-LICS (2014)
Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi
Weak MSO: Automata and Expressiveness Modulo Bisimilarity. CoRR (2014)
Facundo Carreiro, Yde Venema
PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization. Advances in Modal Logic (2014)
Carlos Areces, Facundo Carreiro, Santiago Figueira
Characterization, definability and separation via saturated models. Theor. Comput. Sci. 537 (2014)
Facundo Carreiro, Daniel Gorín, Lutz Schröder
Coalgebraic Announcement Logics. ICALP (2) (2013)
Facundo Carreiro, Stéphane Demri
Beyond Regularity for Presburger Modal Logic. Advances in Modal Logic (2012)
Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
Basic Model Theory for Memory Logics. WoLLIC (2011)
Facundo Carreiro
On Characterization, Definability and ω-Saturated Models. ICTAC (2011)
Facundo Carreiro
Characterization and definability in modal first-order fragments CoRR (2010)