{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:47:03Z","timestamp":1768560423092,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221111","type":"print"},{"value":"9783540259275","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25927-5_5","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T21:21:05Z","timestamp":1281302465000},"page":"43-56","source":"Crossref","is-referenced-by-count":50,"title":["Designing a Deontic Logic of Deadlines"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","first-page":"381","volume":"6","author":"T. Dean","year":"1990","unstructured":"Dean, T., Firby, R., Miller, D.: Hierarchical planning involving deadlines, travel time, and resources. Computational Intelligence\u00a06(1), 381\u2013398 (1990)","journal-title":"Computational Intelligence"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08 (1986)","DOI":"10.1145\/5397.5399"},{"key":"5_CR3","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-58043-3_19","volume-title":"A Decade of Concurrency","author":"E. Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol.\u00a0803, pp. 124\u2013175. Springer, Heidelberg (1994)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G. Wright van","year":"1951","unstructured":"van Wright, G.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"5_CR6","unstructured":"Broersen, J., Dastani, M., Torre, L.v.d.: BDIO-CTL: Obligations and the specification of agent behavior. In: Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A. Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"5_CR8","first-page":"36","volume-title":"Deontic Logic: Introductory and Systematic Readings","author":"S. Kanger","year":"1971","unstructured":"Kanger, S.: New foundations for ethical theory. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36\u201358. D. Reidel Publishing Company, Dordrecht (1971)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: S. Jr., R. (ed.) Proceedings of thirtieth HICSS (1997)","DOI":"10.1109\/HICSS.1997.663191"},{"key":"5_CR10","first-page":"473","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A. Rao","year":"1991","unstructured":"Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann Publishers, San Francisco (1991)"},{"key":"5_CR11","unstructured":"Schnoebelen, P.: The complexity of temporal logic model checking. In: Balbiani, P., Suzuki, N.Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a04, pp. 393\u2013436 (2003)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K. Schild","year":"2000","unstructured":"Schild, K.: On the relationship between BDI-logics and standard logics of concurrency. Autonomous agents and multi-agent systems\u00a03, 259\u2013283 (2000)","journal-title":"Autonomous agents and multi-agent systems"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"5_CR14","first-page":"36","volume":"8","author":"J.v. Benthem","year":"1979","unstructured":"Benthem, J.v.: Minimal deontic logics. Bulletin of the Section of Logic\u00a08, 36\u201342 (1979)","journal-title":"Bulletin of the Section of Logic"},{"key":"5_CR15","first-page":"365","volume-title":"Advances in Modal Logic","author":"C. Lutz","year":"2002","unstructured":"Lutz, C., Sattler, U.: The complexity of reasoning with boolean modal logic. In: Advances in Modal Logic, vol.\u00a03, pp. 365\u2013387. World Scientific, Singapore (2002)"},{"key":"5_CR16","unstructured":"Gasquet, O., Herzig, A.: Translating non-normal modal logics into normal modal logics. In: Jomes, A., Sergot, M. (eds.) Proceedings International Workshop on Deontic Logic, TANO, Oslo (1993)"},{"key":"5_CR17","unstructured":"Gasquet, O., Herzig, A.: (From classical to normal modal logics)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1080\/095281399146625","volume":"11","author":"A. Bolotov","year":"1999","unstructured":"Bolotov, A., Fisher, M.: A clausal resolution method for CTL branching-time temporal logic. Journal of Experimental and Theoretical Artificial Intelligence\u00a011, 77\u201393 (1999)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"5_CR19","volume-title":"Mathematical Methods in Program Development","author":"N. Shankar","year":"1997","unstructured":"Shankar, N.: Machine-assisted verification using theorem proving and model checking. In: Broy, M. (ed.) Mathematical Methods in Program Development, Springer, Heidelberg (1997)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1023\/A:1008359312576","volume":"7","author":"L.v.d. Torre","year":"1999","unstructured":"Torre, L.v.d., Tan, Y.: Diagnosis and decision making in normative reasoning. Artificial Intelligence and Law\u00a07, 51\u201367 (1999)","journal-title":"Artificial Intelligence and Law"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25927-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:16:27Z","timestamp":1620011787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25927-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221111","9783540259275"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25927-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}