K. Mruczek-Nasieniewska and M. Nasieniewski, “Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2”, B Sect Log, vol. 46, no. 3/4, pp. 263–282, Dec. 2017.