44 citations · 138 across the 18 of their papers we have counts for
1 paper · 2 filters
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic…