Y. Venema

activity

20082025

most citedCompleteness for the coalgebraic cover modality

27 citations · 83 across the 25 of their papers we have counts for

collaborators

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 ( $μ ML$ ) 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 $FOE^{\infty}$ , a variation of monadic first-order logic that features the generalised quantifier $\exists^{\infty}$ (`t…

cs.LO2018★ 1 cited

Some model theory for the modal $μ$ -calculus: syntactic characterisations of semantic properties

Gaëlle Fontaine, Yde Venema

This paper contributes to the theory of the modal $μ$ -calculus by proving some model-theoretic results. More in particular, we discuss a number of semantic properties pertaining to…

The Power of the Weak

Model Theory of Monadic Predicate Logic with the Infinity Quantifier

Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties

Some model theory for the modal $μ$ -calculus: syntactic characterisations of semantic properties