P. Kulicki, R. Trypuz, R. Craven, and M. J. Sergot, “A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States”, LLP, vol. 32, no. 4, pp. 583–617, Jun. 2023.