Rönnedal, D. Dyadic Deontic Logic and Semantic Tableaux. LLP 2010, 18, 221-252.