{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:46Z","timestamp":1725566326550},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_29","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"334-346","source":"Crossref","is-referenced-by-count":3,"title":["On the Logic of \u2018Being Motivated to Achieve \u03c1, Before \u03b4\u2019"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A.R. Anderson","year":"1958","unstructured":"Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"issue":"1","key":"29_CR2","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(1), 77\u201393 (1999)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","volume":"2","author":"J.M. Broersen","year":"2003","unstructured":"Broersen, J.M.: Action negation and alternative reductions for dynamic deontic logics. Journal of Applied Logic\u00a02(1), 153\u2013168 (2003)","journal-title":"Journal of Applied Logic"},{"key":"29_CR4","series-title":"Lecture Notes in Artificial Intelligence","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.M. Broersen","year":"2004","unstructured":"Broersen, J.M., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2) (1986)","DOI":"10.1145\/5397.5399"},{"key":"29_CR6","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.M. Clarke","year":"1994","unstructured":"Clarke, E.M., 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)"},{"issue":"3","key":"29_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042(3), 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"29_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004) (to appear)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Sprague Jr., R. (ed.) Proceedings of thirtieth HICSS (1997)","DOI":"10.1109\/HICSS.1997.663191"},{"key":"29_CR10","series-title":"Formal Models and Semantics, ch. 14","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, ch. 14, vol.\u00a0B, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"29_CR11","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":"29_CR12","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1005577906029","volume":"50","author":"S. Lindstr\u00f6m","year":"1999","unstructured":"Lindstr\u00f6m, S., Rabinowicz, W.: Unlimited doxastic logic for introspective agents. Erkenntnis\u00a050, 353\u2013385 (1999)","journal-title":"Erkenntnis"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J.C. Meyer","year":"1988","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\u00a029, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence (1999)","DOI":"10.1016\/S0004-3702(99)00061-2"},{"key":"29_CR15","first-page":"109","volume-title":"Proceedings 17th IEEE Symposium on the Foundations of Computer Science","author":"V.R. Pratt","year":"1976","unstructured":"Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE Symposium on the Foundations of Computer Science, pp. 109\u2013121. IEEE Computer Society Press, Los Alamitos (1976)"},{"key":"29_CR16","first-page":"473","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: 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":"29_CR17","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":"29_CR18","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":"29_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":"29_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:58:07Z","timestamp":1620014287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}