2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
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…