In symbolic modal logic, it would be along the lines of... if an action is done to you, then accept the belief of the imperative of doing that action to another

In symbolic modal logic, it would be along the lines of... if an action is done to you, then accept the belief of the imperative of doing that action to another. So, it would be a command for you to intend to do that action to another. Axu -> _u_: A_u_y (those are supposed to be underlines indicating imperatives.) This is the same sort of convention that Harry Gensler uses to prove the Golden Rule using his Formal Ethics system. (I should note I am not a logician and this is probably only a rough approximation - not sure whether it's appropriate to use A instead of a, etc.)