Abstract Normative Systems: Semantics and Proof Theory.