An essay in deontic logic and the general theory of action. With a bibliography of deontic and imperative logic