Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions. © 2009.
Segerberg, K. (2009). Blueprint for a dynamic deontic logic. Journal of Applied Logic, 7(4), 388–402. https://doi.org/10.1016/j.jal.2009.04.001