1 paper
Luigi Santocanale, Yde Venema
This paper exhibits a general and uniform method to prove completeness for certain modal fixpoint logics. Given a set Γof modal formulas of the form γ(x, p1, . . ., pn), where x oc…