An extension of the deontic calculus DSC1

The chief aim of the paper is to extend the calculusDSC ₁ (see [4]) in such a way as to satisfy all the requirements listed in [4] as well as a further stipulation — called ‘the principle of uninvolvement’ — to the effect that neither deontic compatibility nor deontic incompatibility of codes (see [2]) should be presupposed in deontic logic.