, Volume 185, Supplement 1, pp 1–17

DΔL: a dynamic deontic logic


DOI: 10.1007/s11229-011-9953-1

Cite this article as:
Segerberg, K. Synthese (2012) 185: 1. doi:10.1007/s11229-011-9953-1


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).


ActionsNormsThe logic of “obligatory”, “permitted” and “forbidden”

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Uppsala UniversityUppsalaSweden