Blueprint for a dynamic deontic logic

Abstract

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.