Ciuciura, J. (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