Kulicki, P.; Trypuz, R.; Craven, R.; Sergot, M. J. A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States. LLP 2023, 32, 583-617.