Synthese 185 (S1):1-17 (
2012)
Copy
BIBTEX
Abstract
This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done) α ” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the agent to do α ”, where α stands for an action (event).