Obligations with deadlines: a formalization in Dynamic Deontic Logic
作者： R. Demolombe
关键词:
摘要: Segerberg’s Dynamic Deontic Logic is a dynamic logic where among the set of all possible histories those fulfilling norms are distinguished. An extension this to obligations (respectively permissions and prohibitions) do an action before given deadline or during time interval defined. These temporal constraints defined by events which may have several occurrences (like obligation update file midnight). Violations these kinds in logical framework.
oup.com
oxfordjournals.org
sci-hub.se 参考文章(23)
Krister Segerberg, A blueprint for deontic logic in three (not necessarily easy) steps dagstuhl seminar proceedings. pp. 0- ,(2007)
Deontic Logic, Agency and Normative Systems Springer London. ,(1996) , 10.1007/978-1-4471-1488-8
Virginia Dignum, John-Jules C. Meyer, Frank Dignum, Hans Weigand, Formal Specification of Interaction in Agent Societies Lecture Notes in Computer Science. pp. 37- 52 ,(2002) , 10.1007/978-3-540-45133-4_4
Robert Demolombe, Andrew J. I. Jones, Actions and Normative Positions: A Modal-Logical Approach A Companion to Philosophical Logic. pp. 694- 705 ,(2007) , 10.1002/9780470996751.CH44
A companion to philosophical logic Blackwell Publishers. ,(2002) , 10.1111/B.9781405145756.2002.X
Robert Demolombe, Andreas Herzig, Obligation Change in Dependence Logic and Situation Calculus deontic logic in computer science. pp. 57- 73 ,(2004) , 10.1007/978-3-540-25927-5_6
Brian F. Chellas, Modal Logic: An Introduction ,(1980)
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali, A State/Event Temporal Deontic Logic Deontic Logic and Artificial Normative Systems. pp. 85- 100 ,(2006) , 10.1007/11786849_9
F. Dignum, R. Kuiper, Combining dynamic deontic logic and temporal logic for the specification of deadlines hawaii international conference on system sciences. ,vol. 5, pp. 336- 346 ,(1997) , 10.1109/HICSS.1997.663191
F. Cuppens, N. Cuppens-Boulahia, T. Sans, Nomad: a security model with non atomic actions and deadlines ieee computer security foundations symposium. pp. 186- 196 ,(2005) , 10.1109/CSFW.2005.20