activity
20102018
most citedCharacterization and definability in modal first-order fragments

2 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing 2018Show all

2 papers · 1 filter

cs.LO2018

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…

cs.LO2018

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…