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