Ciuciura, Janusz. “Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1”. Bulletin of the Section of Logic 46, no. 3/4 (December 30, 2017): 283–291. Accessed May 4, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/3260.