Facundo Carreiro

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