Ciuciura J. Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1. B Sect Log. 2017;46(3/4):283–291. doi:10.18778/0138-0680.46.3.4.07