{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:14Z","timestamp":1740123914196,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T00:00:00Z","timestamp":1691625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001821","name":"WWTF","doi-asserted-by":"crossref","award":["MA16-028"],"award-info":[{"award-number":["MA16-028"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FWF","award":["W1255-N23"],"award-info":[{"award-number":["W1255-N23"]}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["771779"],"award-info":[{"award-number":["771779"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"name":"\u0160tefan Schwarz Fund","award":["2020-2022"],"award-info":[{"award-number":["2020-2022"]}]},{"DOI":"10.13039\/501100006109","name":"VEGA","doi-asserted-by":"crossref","award":["2\/0125\/22"],"award-info":[{"award-number":["2\/0125\/22"]}],"id":[{"id":"10.13039\/501100006109","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright\u2019s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textsf{TLAE}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>TLAE<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\textsf{TLAE}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>TLAE<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.<\/jats:p>","DOI":"10.1007\/s10992-023-09714-7","type":"journal-article","created":{"date-parts":[[2023,8,10]],"date-time":"2023-08-10T09:02:19Z","timestamp":1691658139000},"page":"1475-1516","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations"],"prefix":"10.1007","volume":"52","author":[{"given":"Kees","family":"van Berkel","sequence":"first","affiliation":[]},{"given":"Tim S.","family":"Lyon","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4867-4082","authenticated-orcid":false,"given":"Matteo","family":"Pascucci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,10]]},"reference":[{"issue":"1","key":"9714_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.2307\/2088759","volume":"22","author":"AR Anderson","year":"1957","unstructured":"Anderson, A. R., & Moore, O. K. (1957). The formal analysis of normative concepts. American Sociological Review, 22(1), 9\u201317.","journal-title":"American Sociological Review"},{"key":"9714_CR2","volume-title":"Intention","author":"GEM Anscombe","year":"2000","unstructured":"Anscombe, G. E. M. (2000). Intention. Harvard University Press."},{"key":"9714_CR3","doi-asserted-by":"crossref","unstructured":"\u00c5qvist, L. (2002). Old foundations for the logic of agency and action. Studia Logica, 72(3), 313\u2013338.","DOI":"10.1023\/A:1021871106406"},{"key":"9714_CR4","volume-title":"Practical Reasoning","author":"R Audi","year":"1989","unstructured":"Audi, R. (1989). Practical Reasoning. Routledge."},{"key":"9714_CR5","doi-asserted-by":"publisher","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. (2001). Facing the Future. Agents and Choices in our Indeterminist World. Oxford: Oxford University Press."},{"key":"9714_CR6","unstructured":"van Berkel, K. (2023). A Logical Analysis of Normative Reasoning: Agency, Action, and Argumentation, PhD dissertation, TU Wien."},{"key":"9714_CR7","doi-asserted-by":"crossref","unstructured":"van Berkel, K. & Pascucci, M. (2018). Notions of instrumentality in agency logic. In: Proceedings of PRIMA 2018, Springer Cham. pp. 403\u2013419.","DOI":"10.1007\/978-3-030-03098-8_25"},{"key":"9714_CR8","doi-asserted-by":"crossref","unstructured":"van Berkel, K., Lyon, T., & Olivieri, F. (2020). A decidable multi-agent logic for reasoning about actions, instruments, and norms. In: International Conference on Logic and Argumentation, Springer Cham. pp. 219\u2013241.","DOI":"10.1007\/978-3-030-44638-3_14"},{"key":"9714_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge: Cambridge University Press."},{"key":"9714_CR10","first-page":"381","volume":"2018","author":"J Boudou","year":"2018","unstructured":"Boudou, J., & Lorini, E. (2018). Concurrent game structures for temporal STIT Logic. Proceedings of AAMAS, 2018, 381\u2013389.","journal-title":"Proceedings of AAMAS"},{"key":"9714_CR11","unstructured":"Broersen, J. (2003). Modal Action Logics for Reasoning about Reactive Systems, PhD dissertation, Vrije Universiteit Amsterdam."},{"issue":"2","key":"9714_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. (2011). Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic, 9(2), 137\u2013152.","journal-title":"Journal of Applied Logic"},{"issue":"4","key":"9714_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. (2011). Making a start with the stit logic analysis of intentional action. Journal of Philosophical Logic, 40(4), 499\u2013530.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9714_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"MA Brown","year":"1988","unstructured":"Brown, M. A. (1988). On the logic of ability. Journal of Philosophical Logic, 17(1), 1\u201326.","journal-title":"Journal of Philosophical Logic"},{"key":"9714_CR15","unstructured":"Clarke, D.S. (1987). Practical Inferences. Routledge Kegan & Paul."},{"key":"9714_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3765\/sp.9.21","volume":"9","author":"C Condoravdi","year":"2016","unstructured":"Condoravdi, C., & Lauer, S. (2016). Anankastic conditionals are just conditionals. Semantics & Pragmatics, 9, 1\u201369.","journal-title":"Semantics & Pragmatics"},{"key":"9714_CR17","unstructured":"Davidson, D. (2016). I. Agency. In R. Binkley, R. Bronaugh and A. Marras (Eds.), Agent, Action, and Reason, pp. 1\u201337. University of Toronto Press."},{"issue":"2","key":"9714_CR18","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M Fischer","year":"1979","unstructured":"Fischer, M., & Ladner, R. (1979). Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2), 194\u2013211.","journal-title":"Journal of Computer and System Sciences"},{"key":"9714_CR19","volume-title":"Theory of Human Action","author":"A Goldman","year":"1970","unstructured":"Goldman, A. (1970). Theory of Human Action. Princeton: Princeton University Press."},{"key":"9714_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-01209-1","volume-title":"Practical Inferences","author":"RM Hare","year":"1971","unstructured":"Hare, R. M. (1971). Practical Inferences. University of California Press."},{"issue":"1","key":"9714_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10849-009-9105-x","volume":"19","author":"A Herzig","year":"2010","unstructured":"Herzig, A., & Lorini, E. (2010). A dynamic logic of agency I: STIT, capabilities and powers. Journal of Logic, Language and Information, 19(1), 89\u2013121.","journal-title":"Journal of Logic, Language and Information"},{"issue":"6","key":"9714_CR22","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"J Horty","year":"1995","unstructured":"Horty, J., & Belnap, N. (1995). The deliberative stit: a study of action, omission, ability, and obligation. Journal of Philosophical Logic, 24(6), 583\u2013644.","journal-title":"Journal of Philosophical Logic"},{"key":"9714_CR23","doi-asserted-by":"crossref","unstructured":"Hume, D. (1739). A Treatise of Human Nature. Oxford: Oxford University Press.","DOI":"10.1093\/oseo\/instance.00046221"},{"key":"9714_CR24","doi-asserted-by":"crossref","unstructured":"Lewinski, M. (2017). Practical argumentation as reasoned advocacy. Informal Logic, 37(2), 85\u2013113.","DOI":"10.22329\/il.v37i2.4775"},{"key":"9714_CR25","first-page":"687","volume":"2017","author":"E Lorini","year":"2017","unstructured":"Lorini, E., & Schwarzentruber, F. (2017). A path in the jungle of logics for multi-agent system: on the relation between general game-playing logics and seeing-to-it-that logics. Proceedings of AAMAS, 2017, 687\u2013695.","journal-title":"Proceedings of AAMAS"},{"key":"9714_CR26","unstructured":"Meyer, J. J. Ch., Broersen, J., & Herzig, A. (2015). BDI Logics. In: H. van Ditmarsch, J.Y. Halpern, W. van der Hoek, and B. Kooi (Eds.), Handbook of Logics of Knowledge and Belief. College Publications, pp. 453\u2013498."},{"key":"9714_CR27","unstructured":"Rao, A. S., & Georgeff, M. P. (1995). BDI agents: from theory to practice. In: V. Lesser and L. Gasser (Eds.), ICMAS-95, Proceedings of the first international conference of multiagent systems. Vol. 95, pp. 312\u2013319."},{"key":"9714_CR28","volume-title":"Practical Reasoning","author":"J Raz","year":"1978","unstructured":"Raz, J. (1978). Practical Reasoning. Oxford University Press."},{"key":"9714_CR29","doi-asserted-by":"crossref","unstructured":"S\u00e6b\u00f8, K. J. (2001). Necessary conditions in a natural language, In: C. Fery and W. Sternefeld (Eds.), Audiatur Vox Sapientiae: A Festschrift for Arnim von Stechow, pp. 427\u2013449.","DOI":"10.1515\/9783050080116.427"},{"key":"9714_CR30","doi-asserted-by":"crossref","unstructured":"Segerberg, K. (1992). Getting started: beginnings in the logic of action. Studia Logica, 51(3), 347\u2013378.","DOI":"10.1007\/BF01028968"},{"key":"9714_CR31","unstructured":"von Stechow, A., Krasikova, S., & Penka, D. (2006). Anankastic conditionals again. In: A Festschrift for Kjell Johan S\u00e6b\u00f8: In Partial Fulfillment of the Requirements for the Celebration of his 50th Birthday, pp. 151\u2013171."},{"key":"9714_CR32","doi-asserted-by":"crossref","unstructured":"Stoutland, F. (2010). Von Wright. In: O\u2019Connor, T., & Sandis, C. (Eds.). A Companion to the Philosophy of Action, pp. 589\u2013598","DOI":"10.1002\/9781444323528.ch72"},{"issue":"2","key":"9714_CR33","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s11229-007-9157-x","volume":"157","author":"D Walton","year":"2007","unstructured":"Walton, D. (2007). Evaluating practical reasoning. Synthese, 157(2), 197\u2013240.","journal-title":"Synthese"},{"key":"9714_CR34","volume-title":"The Logical Problem of Induction","author":"GH von Wright","year":"1957","unstructured":"von Wright, G. H. (1957). The Logical Problem of Induction. New York: Barnes & Noble."},{"key":"9714_CR35","unstructured":"von Wright, G. H. (1957). Norm and Action: A Logical Enquiry. Routledge & Kegan Paul, London and Henley. Fourth impression."},{"issue":"2","key":"9714_CR36","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2183102","volume":"72","author":"GH von Wright","year":"1963","unstructured":"von Wright, G. H. (1963). Practical inference. The Philosophical Review, 72(2), 159\u2013179.","journal-title":"The Philosophical Review"},{"key":"9714_CR37","volume-title":"An Essay in Deontic Logic and the General Theory of Action","author":"GH von Wright","year":"1968","unstructured":"von Wright, G. H. (1968). An Essay in Deontic Logic and the General Theory of Action. Amsterdam: North Holland Publishing Company."},{"key":"9714_CR38","unstructured":"von Wright, G. H. (1972). The Varieties of Goodness. Routledge & Kegan Paul, London and Henley. Fourth impression."},{"issue":"1","key":"9714_CR39","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1177\/000169937201500104","volume":"15","author":"GH von Wright","year":"1972","unstructured":"von Wright, G. H. (1972). On so-called practical inference. Acta Sociologica, 15(1), 39\u201353.","journal-title":"Acta Sociologica"},{"key":"9714_CR40","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10849-009-9119-4","volume":"19","author":"M Xu","year":"2010","unstructured":"Xu, M. (2010). Combinations of Stit and actions. Journal of Logic, Language and Information, 19, 485\u2013503.","journal-title":"Journal of Logic, Language and Information"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-023-09714-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-023-09714-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-023-09714-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T10:07:52Z","timestamp":1699524472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-023-09714-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,10]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["9714"],"URL":"https:\/\/doi.org\/10.1007\/s10992-023-09714-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2023,8,10]]},"assertion":[{"value":"22 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 August 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2023","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Missing Open Access funding information has been added in the Funding Note.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}