Facundo Carreiro

15 papers A* 1B 2C 2Journal 8Unranked 2

Year	Rank	Type	Title / 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