Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

Open in new window