DΔL: a dynamic deontic logic
- First Online:
- 152 Downloads
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).
KeywordsActions Norms The logic of “obligatory”, “permitted” and “forbidden”
Unable to display preview. Download preview PDF.