A State/Event Temporal Deontic Logic
作者： Julien Brunel , Jean-Paul Bodeveix , Mamoun Filali
DOI: 10.1007/11786849_9
关键词:
摘要: This paper studies a logic that combines deontic and temporal aspects. We first present state/event formalism define extension of it. Then, we study the interaction between dimension dimension. some logical properties, concerning formulas where operators are nested, discuss their intuitive meaning. focus more particularly on properties obligation with deadline specific operator to express this notion.
springer.com
springerlink.com参考文章(30)
Sven Ove Hansson, Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993. Bulletin of the IGPL. ,vol. 2, pp. 249- 251 ,(1994)
Michael Zakharyaschev, Agi Kurucz, Frank Wolter, Dov M Gabbay, Many-Dimensional Modal Logics: Theory and Applications ,(2013)
Edmund M. Clarke, E. Allen Emerson, Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic Logic of Programs, Workshop. pp. 52- 71 ,(1981) , 10.1007/BFB0025774
J. P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR Proceedings of the 5th Colloquium on International Symposium on Programming. pp. 337- 351 ,(1982) , 10.1007/3-540-11494-7_22
Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen, Specifying Multiagent Organizations deontic logic in computer science. pp. 243- 257 ,(2004) , 10.1007/978-3-540-25927-5_16
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha, State/Event-Based Software Model Checking integrated formal methods. pp. 128- 147 ,(2004) , 10.1007/978-3-540-24756-2_8
F. Dignum, R. Kuiper, Obligations and dense time for specifying deadlines hawaii international conference on system sciences. ,vol. 5, pp. 186- 195 ,(1998) , 10.1109/HICSS.1998.648312
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
ALAN ROSS ANDERSON, A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC Mind. pp. 100- 103 ,(1958) , 10.1093/MIND/LXVII.265.100
Amir Pnueli, The temporal semantics of concurrent programs Theoretical Computer Science. ,vol. 13, pp. 45- 60 ,(1981) , 10.1016/0304-3975(81)90110-9