10 citations · 17 across the 10 of their papers we have counts for
Showing 2018Show all
3 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…
cs.LO2018
A Credal Extension of Independent Choice Logic
Alessandro Antonucci, Alessandro Facchini
We propose an extension of Poole's independent choice logic based on a relaxation of the underlying independence assumptions. A credal semantics involving multiple joint probabilit…