Kulicki, P., R. Trypuz, R. Craven, and M. J. Sergot. “A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States”. Logic and Logical Philosophy, vol. 32, no. 4, June 2023, pp. 583-17, doi:10.12775/LLP.2023.004.