Abstract
The system DDL (Dynamic Deontic Logic) was developed by Meyer [1988, 1989]. Meyer defined DDL as a modal logic, following an article by Anderson [1967]. The basis for DDL is the logic framework of (propositional) dynamic logic. The reduction of deontic operators to dynamic ones makes use of Anderson’s violation atom V to indicate that an action took place that violates one of the deontic constraints, i.e. that the performance of a forbidden action leads to a bad state of affairs. A bad state of affairs can be, e.g. a sanction, a liability to sanction or trouble. What exactly the consequences are of a bad state of affairs is another matter, and depends on the philosophy one adheres to. Our interpretation of the constant V is: the situation is in contravention of the law. Whether it leads to a sanction will be left aside here.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A deontic system in which time is a central notion is given in [Eck, 1982 ]. The main difference between the temporal treatment in Van Eck’s system and DDL is the definition of the accessibility relation. Van Eck defines this relation between worlds within one time-slice, and in DDL the relation is defined between worlds with different `time-stamps’.
The skip symbol, introduced in [Dignum, 1989, p. 188], is comparable with the E process in process algebra.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Royakkers, L.M.M. (1998). Dynamic deontic logic. In: Extending Deontic Logic for the Formalisation of Legal Rules. Law and Philosophy Library, vol 36. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9099-0_3
Download citation
DOI: https://doi.org/10.1007/978-94-015-9099-0_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5008-3
Online ISBN: 978-94-015-9099-0
eBook Packages: Springer Book Archive