Ciuciura, Janusz. 2017. “Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1”. Bulletin of the Section of Logic 46 (3/4):283–291. https://doi.org/10.18778/0138-0680.46.3.4.07.