27 citations · 83 across the 25 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
Filtration and canonical completeness for continuous modal mu-calculi
Jan Rooduijn, Yde Venema
The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Sc…
cs.LO2021
On the size of disjunctive formulas in the -calculus
Clemens Kupke, Johannes Marti, Yde Venema
A key result in the theory of the modal mu-calculus is the disjunctive normal form theorem by Janin & Walukiewicz, stating that every mu-calculus formula is semantically equivalent…
cs.LO2021★ 2 cited
Focus-style proof systems and interpolation for the alternation-free -calculus
Johannes Marti, Yde Venema
In this paper we introduce a cut-free sequent calculus for the alternation-free fragment of the modal -calculus. This system allows for cyclic proofs and uses a simple focus mec…