Modal reduction principles across relational semantics