 Deontic  logic[1]  is a branch of logic that has been the most concerned with the contribution that the following sorts of notions make to what follows from what (or what supports what, more  generally):[2]