Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic.