Abstract

The aim of the paper is to extend the calculus DSC1 in such a way as to satisfy all the requirements listed in [2] as well as a further stipulation { called `the principle of unionvolvement' { to the eect that neither deontic compatibility nor deontic incompatibility of codes should be presupposed in deontic logic. The observation that sentences of the form PKuw are stronger than it was suggested in [1] has been the point of departure