Rönnedal, D. 2010. Dyadic deontic logic and semantic tableaux. Logic and Logical Philosophy. 18, 3-4 (Mar. 2010), 221–252. DOI:https://doi.org/10.12775/LLP.2009.011.