2 citations · 4 across the 4 of their papers we have counts for
5 papers · 1 filter
The Power of the Weak
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
A landmark result in the study of logics for formal verification is Janin & Walukiewicz's theorem, stating that the modal -calculus () is equivalent modulo bisimil…
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
This paper establishes model-theoretic properties of , a variation of monadic first-order logic that features the generalised quantifier (`t…
Characterization theorems for PDL and FO(TC)
Facundo Carreiro
Our main contributions can be divided in three parts: (1) Fixpoint extensions of first-order logic: we give a precise syntactic and semantic characterization of the relationship be…
Weak MSO: Automata and Expressiveness Modulo Bisimilarity
Facundo Carreiro, Alessandro Facchini, Yde Venema +1
We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal -calculus where the application of the lea…
Characterization and definability in modal first-order fragments
Facundo Carreiro
Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several m…