Ciuciura, J. Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1. B Sect Log 2017, 46, 283–291.