{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:29:05Z","timestamp":1768559345402,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540358428","type":"print"},{"value":"9783540358435","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11786849_9","type":"book-chapter","created":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T09:15:05Z","timestamp":1151745305000},"page":"85-100","source":"Crossref","is-referenced-by-count":12,"title":["A State\/Event Temporal Deontic Logic"],"prefix":"10.1007","author":[{"given":"Julien","family":"Brunel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind, 100\u2013103 (1958)","DOI":"10.1093\/mind\/LXVII.265.100"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/j.jal.2005.04.002","volume":"3","author":"L. Aqvist","year":"2005","unstructured":"Aqvist, L.: Combinations of tense and deontic logic. Journal of Applied Logic\u00a03, 421\u2013460 (2005)","journal-title":"Journal of Applied Logic"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11589976_5","volume-title":"Integrated Formal Methods","author":"S. Chaki","year":"2005","unstructured":"Chaki, S., Clarke, E., Grumberg, O., Ouaknine, J., Sharygina, N., Touili, T., Veith, H.: State\/event software verification for branching-time specifications. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 53\u201369. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume-title":"Integrated Formal Methods","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State\/Event-based software model checking. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 128\u2013147. Springer, Heidelberg (2004)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E. Clarke","year":"1982","unstructured":"Clarke, E., Emerson, E.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad: a security model with non atomic actions and deadlines. In: Proceedings of the 18th IEEE Computer Security Foundations Workshop (June 2005)","DOI":"10.1109\/CSFW.2005.20"},{"key":"9_CR8","unstructured":"Cuppens, F., Saurel, C.: Towards a formalization of availability and denial of service. In: Information Systems Technology Panel Symposium on Protecting Nato Information Systems in the 21st Century, Washington (1999)"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF00116787","volume":"4","author":"P. d\u2019Altan","year":"1996","unstructured":"d\u2019Altan, P., Meyer, J.-J.C., Wieringa, R.: An integrated framework for ought-to-be and ought-to-do constraints. Artif. Intell. Law\u00a04(2), 77\u2013111 (1996)","journal-title":"Artif. Intell. Law"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: Thirty-First Annual Hawaii International Conference on System Sciences (HICSS), vol.\u00a05 (1998)","DOI":"10.1109\/HICSS.1998.648312"},{"key":"9_CR11","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic Volume II \u2014 Extensions of Classical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic Volume II \u2014 Extensions of Classical Logic, pp. 497\u2013604. D.\u00a0Reidel Publishing Company, Dordrecht (1984)"},{"issue":"1-3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","unstructured":"Henriksen, J.G., Thiagarajan, P.S.: Dynamic linear time temporal logic. Annals of Pure and Applied Logic\u00a096(1-3), 187\u2013207 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR14","unstructured":"Kalam, A.A.E., Baida, R.E., Balbiani, P., Benferhat, S., Cuppens, F., Deswarte, Y., Mi\u00e8ge, A., Saurel, C., Trouessin, G.: Organization based access control. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003), Lake Come, Italy (June 2003)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45448-9_7","volume-title":"Intelligent Agents VIII","author":"A. Lomuscio","year":"2002","unstructured":"Lomuscio, A., Sergot, M.J.: On multi-agent systems specification via deontic logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol.\u00a02333, p. 86. Springer, Heidelberg (2002)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic (1988)","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C., Wieringa, R., Dignum, F.: The role of deontic logic in the specification of information systems. In: Logics for Databases and Information Systems, pp. 71\u2013115 (1998)","DOI":"10.1007\/978-1-4615-5643-5_4"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. Theoretical Computer Science\u00a013, 45\u201360 (1981)","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J.-P. Queille","year":"1982","unstructured":"Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in cesar. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1982)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-25927-5_16","volume-title":"Deontic Logic in Computer Science","author":"L.W.N. Torre van der","year":"2004","unstructured":"van der Torre, L.W.N., Hulstijn, J., Dastani, M., Broersen, J.: Specifying multiagent organizations. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 243\u2013257. Springer, Heidelberg (2004)"},{"key":"9_CR21","first-page":"17","volume-title":"Applications of Deontic Logic in Computer Science: A Concise Overview","author":"R.J. Wieringa","year":"1993","unstructured":"Wieringa, R.J., Meyer, J.-J.C.: Applications of Deontic Logic in Computer Science: A Concise Overview, pp. 17\u201340. John Wiley & Sons, Chichester (1993)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.entcs.2004.11.015","volume":"126","author":"B. Woz\u0300na","year":"2005","unstructured":"Woz\u0300na, B., Lomuscio, A., Penczek, W.: Bounded model checking for deontic interpreted systems. Electronic Notes in Theoretical Computer Science\u00a0126, 93\u2013114 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Wright, G.H.V.: Deontic logic. Mind (1951)","DOI":"10.1093\/mind\/LX.237.1"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Artificial Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11786849_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:19:40Z","timestamp":1619507980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11786849_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358428","9783540358435"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11786849_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}