D. Rönnedal, “Dyadic deontic logic and semantic tableaux”, LLP, vol. 18, no. 3-4, pp. 221–252, Mar. 2010.