Rönnedal D. Dyadic deontic logic and semantic tableaux. LLP [Internet]. 2010 Mar. 30 [cited 2025 Jun. 29];18(3-4):221-52. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2009.011