On the semantics and logic of obligation