Synthese

, Volume 185, Supplement 1, pp 1–17

DΔL: a dynamic deontic logic

Authors

Article

DOI: 10.1007/s11229-011-9953-1

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

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

Keywords

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

Copyright information

© Springer Science+Business Media B.V. 2011