aDepartment of Philosophy, Uppsala University, Sweden
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.