Jerzy Kalinowski's logic of normative sentences revisited (Q2352460)

After presenting \textit{J. Kalinowski}'s logic of normative sentences [ibid. 1, 147--182 (1953; Zbl 1368.03006)] and \textit{K. Segerberg}'s deontic action logic [ibid. 41, 269--282 (1982; Zbl 0537.03018)], by reconstructing the corresponding models, the authors point out closeness and similarities between these two systems and develop an extension sensitive to all ontological restrictions caused by models. A completeness theorem is proved and it is shown how action space is filtrated by the moral indiscernibility relation.