Rönnedal, Daniel. 2010. “Dyadic Deontic Logic and Semantic Tableaux”. Logic and Logical Philosophy 18 (3-4):221-52. https://doi.org/10.12775/LLP.2009.011.