{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T19:27:36Z","timestamp":1768418856804,"version":"3.49.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031266218","type":"print"},{"value":"9783031266225","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-26622-5_8","type":"book-chapter","created":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T01:36:24Z","timestamp":1676338584000},"page":"125-153","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Stit Logic of\u00a0Intentionality"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7980-302X","authenticated-orcid":false,"given":"Aldo Iv\u00e1n","family":"Ram\u00edrez Abarca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4826-4075","authenticated-orcid":false,"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,14]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/978-3-030-19570-0_41","volume-title":"Logics in Artificial Intelligence","author":"AI Ram\u00edrez Abarca","year":"2019","unstructured":"Ram\u00edrez Abarca, A.I., Broersen, J.: A logic of objective and subjective oughts. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 629\u2013641. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_41"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-030-38808-9_11","volume-title":"Dynamic Logic. New Trends and Applications","author":"AIR Abarca","year":"2020","unstructured":"Abarca, A.I.R., Broersen, J.: Stit semantics for epistemic notions based on information disclosure in interactive settings. In: Soares Barbosa, L., Baltag, A. (eds.) DALI 2019. LNCS, vol. 12005, pp. 171\u2013189. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-38808-9_11"},{"key":"8_CR3","volume-title":"Intention","author":"GEM Anscombe","year":"1963","unstructured":"Anscombe, G.E.M.: Intention. Harvard University Press, Cambridge (1963)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-662-54332-0_12","volume-title":"Logic, Language, and Computation","author":"A Baltag","year":"2017","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: The topology of full and weak belief. In: Hansen, H.H., Murray, S.E., Sadrzadeh, M., Zeevat, H. (eds.) TbiLLC 2015. LNCS, vol. 10148, pp. 205\u2013228. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54332-0_12"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-662-52921-8_6","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2016","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: Justified belief and the topology of evidence. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 83\u2013103. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_6"},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in Our Indeterminist World","author":"N Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)"},{"key":"8_CR7","unstructured":"Bentzen, M.M.: Stit, Iit, and deontic logic for action types. Ph.D. thesis, University of Amsterdam (2012)"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"375","DOI":"10.2307\/2184542","volume":"93","author":"M Bratman","year":"1984","unstructured":"Bratman, M.: Two faces of intention. Philos. Rev. 93(3), 375\u2013405 (1984)","journal-title":"Philos. Rev."},{"key":"8_CR9","volume-title":"Intention, Plans, and Practical Reason","author":"M Bratman","year":"1987","unstructured":"Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-93920-7_4","volume-title":"Declarative Agent Languages and Technologies VI","author":"J Broersen","year":"2009","unstructured":"Broersen, J.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 47\u201359. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-93920-7_4"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Broersen, J.: A stit-logic for extensive form group strategies. In: 2009 IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, vol. 3, pp. 484\u2013487. IEEE (2009)","DOI":"10.1109\/WI-IAT.2009.331"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J Broersen","year":"2011","unstructured":"Broersen, J.: Deontic epistemic stit logic distinguishing modes of mens rea. J. Appl. Log. 9(2), 137\u2013152 (2011)","journal-title":"J. Appl. Log."},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10992-011-9190-6","volume":"40","author":"J Broersen","year":"2011","unstructured":"Broersen, J.: Making a start with the stit logic analysis of intentional action. J. Philos. Log. 40(4), 499\u2013530 (2011)","journal-title":"J. Philos. Log."},{"issue":"2\u20133","key":"8_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42(2\u20133), 213\u2013261 (1990)","journal-title":"Artif. Intell."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-94-009-9365-5_5","volume-title":"Philosophy of History and Action","author":"D Davidson","year":"1978","unstructured":"Davidson, D.: Intending. In: Yovel, Y. (ed.) Philosophy of History and Action, pp. 41\u201360. Springer, Dordrecht (1978). https:\/\/doi.org\/10.1007\/978-94-009-9365-5_5"},{"key":"8_CR16","volume-title":"Essays on Actions and Events","author":"D Davidson","year":"1980","unstructured":"Davidson, D.: Essays on Actions and Events. Clarendon Press, Oxford (1980)"},{"key":"8_CR17","unstructured":"Duijf, H.: Let\u2019s do it!: collective responsibility, joint action, and participation. Ph.D. thesis, Utrecht University (2018)"},{"issue":"3","key":"8_CR18","first-page":"271","volume":"51","author":"B Dunin-Keplicz","year":"2002","unstructured":"Dunin-Keplicz, B., Verbrugge, R.: Collective intentions. Fund. Inform. 51(3), 271\u2013295 (2002)","journal-title":"Fund. Inform."},{"key":"8_CR19","unstructured":"Engelking, R.: General Topology. Heldermann (1989)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Green, S.P.: Six senses of strict liability: a plea for formalism. Appraising Strict Liability 1 (2005)","DOI":"10.1093\/acprof:oso\/9780199278510.003.0001"},{"key":"8_CR21","first-page":"527","volume":"4","author":"A Herzig","year":"2004","unstructured":"Herzig, A., Longin, D.: C &L intention revisited. KR 4, 527\u2013535 (2004)","journal-title":"KR"},{"issue":"6","key":"8_CR22","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"JF Horty","year":"1995","unstructured":"Horty, J.F., Belnap, N.: The deliberative stit: a study of action, omission, ability, and obligation. J. Philos. Log. 24(6), 583\u2013644 (1995)","journal-title":"J. Philos. Log."},{"key":"8_CR23","unstructured":"Konolige, K., Pollack, M.E.: A representationalist theory of intention. In: IJCAI, vol. 93, pp. 390\u2013395 (1993)"},{"issue":"3","key":"8_CR24","first-page":"1065","volume":"37","author":"PJ Larkin Jr","year":"2014","unstructured":"Larkin, P.J., Jr.: Strict liability offenses, incarceration, and the cruel and unusual punishments clause. Harvard J. Law Public Policy 37(3), 1065 (2014)","journal-title":"Harvard J. Law Public Policy"},{"issue":"1","key":"8_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11229-008-9309-7","volume":"163","author":"E Lorini","year":"2008","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45\u201377 (2008)","journal-title":"Synthese"},{"issue":"6","key":"8_CR26","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1093\/logcom\/ext072","volume":"24","author":"E Lorini","year":"2014","unstructured":"Lorini, E., Longin, D., Mayor, E.: A logical analysis of responsibility attribution: emotions, individuals and collectives. J. Log. Comput. 24(6), 1313\u20131339 (2014)","journal-title":"J. Log. Comput."},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1057\/9780230582972_9","volume-title":"New Essays on the Explanation of Action","author":"R Moran","year":"2009","unstructured":"Moran, R., Stone, M.J.: Anscombe on expression of intention. In: Sandis, C. (ed.) New Essays on the Explanation of Action, pp. 132\u2013168. Springer, London (2009). https:\/\/doi.org\/10.1057\/9780230582972_9"},{"key":"8_CR28","unstructured":"\u00d6zg\u00fcn, A.: Evidence in epistemic logic: a topological perspective. Ph.D. thesis, Universit\u00e9 de Lorraine (2017)"},{"key":"8_CR29","unstructured":"Pacuit, E.: Neighborhood semantics for modal logic: an introduction (2007). Course Notes for ESSLLI"},{"key":"8_CR30","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. KR, 91, 473\u2013484 (1991)"},{"key":"8_CR31","unstructured":"Setiya, K.: Knowledge of intention. In: Essays on Anscombe\u2019s Intention, pp. 170\u2013197. Harvard University Press (2011)"},{"key":"8_CR32","unstructured":"Setiya, K.: Intention. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Fall 2018 edn. (2018)"},{"key":"8_CR33","doi-asserted-by":"publisher","DOI":"10.4159\/9780674033962","volume-title":"Life and Action","author":"M Thompson","year":"2008","unstructured":"Thompson, M.: Life and Action. Harvard University Press, Cambridge (2008)"},{"key":"8_CR34","unstructured":"Willard, S.: General Topology. Courier Corporation (2004)"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26622-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,6]],"date-time":"2023-12-06T21:04:23Z","timestamp":1701896663000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26622-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266218","9783031266225"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26622-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DaL\u00ed","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Haifa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Israel","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dali2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/dali2022.campus.ciencias.ulisboa.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}