Abstract It is shown that the logic subDL subDL satisfies the signed variable sharing property, as well as the depth relevance property. The proofs given are by way of translations into logics which are known to satisfy the requisite properties.
Tore Fjetland Øgaard (Mon,) studied this question.