 These premises are inconsistent in SDL. First, they are simply excluded by NC \((\OB p \rightarrow \neg \OB \neg  p)\).[93]  But merely giving up NC is not sufficient. In fact, any normal modal logic (hence, any logic that contains K and Necessitation, or equivalently, \(\OB\)-RM, \(\OB\)-C, and RE based on PC) will generate deontic explosion: