Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
作者： Philippe Balbiani , Jan Broersen , Julien Brunel
DOI: 10.1016/J.ENTCS.2009.02.030
关键词: Temporal logic 、 Obligation 、 Security policy 、 Inheritance (object-oriented programming) 、 Programming language 、 Artificial intelligence 、 Mathematics 、 Deontic logic 、 Net (mathematics) 、 Temporal logic of actions
摘要: In nowadays applications of temporal deontic logic to the verification security policies, an issue arises concerning inheritance future directed obligations that have net yet been met. We investigate decision procedures for logics account this particular interaction between time and obligation.
core.ac.uk
elsevier.com
sci-hub.se 参考文章(27)
Lennart Åqvist, Jaap Hoepelman, Some Theorems about a “Tree” System of Deontic Tense Logic Springer Netherlands. pp. 187- 221 ,(1981) , 10.1007/978-94-009-8484-4_9
Michael Zakharyaschev, Frank Wolter, On the Decidability of Description Logics with Modal Operators. principles of knowledge representation and reasoning. pp. 512- 523 ,(1998)
Michael Zakharyaschev, Agi Kurucz, Frank Wolter, Dov M Gabbay, Many-Dimensional Modal Logics: Theory and Applications ,(2013)
Luis Fariñas del Cerro, Olivier Gasquet, Tableaux Based Decision Procedures for Modal Logics of Confluence and Density Fundamenta Informaticae. ,vol. 40, pp. 317- 333 ,(1999) , 10.3233/FI-1999-40401
Jan Broersen, Julien Brunel, `What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations Computational Logic in Multi-Agent Systems. pp. 82- 99 ,(2008) , 10.1007/978-3-540-88833-8_5
John Francis Horty, Agency and Deontic Logic ,(2001)
Tom Maibaum, Temporal reasoning over deontic specifications deontic logic in computer science. pp. 141- 202 ,(1994)
Jan Broersen, Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario Deontic Logic and Artificial Normative Systems. pp. 53- 68 ,(2006) , 10.1007/11786849_7
Melvin Chris Fitting, Proof Methods for Modal and Intuitionistic Logics ,(1983)
Fabio Massacci, Single Step Tableaux for Modal Logics Journal of Automated Reasoning. ,vol. 24, pp. 319- 364 ,(2000) , 10.1023/A:1006155811656