{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:01:54Z","timestamp":1772910114875,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T00:00:00Z","timestamp":1594771200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T00:00:00Z","timestamp":1594771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005875","name":"Kulttuurin ja Yhteiskunnan Tutkimuksen Toimikunta","doi-asserted-by":"publisher","award":["1308664"],"award-info":[{"award-number":["1308664"]}],"id":[{"id":"10.13039\/501100005875","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.<\/jats:p>","DOI":"10.1007\/s11225-020-09914-1","type":"journal-article","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T05:37:48Z","timestamp":1594791468000},"page":"473-507","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3958-6312","authenticated-orcid":false,"given":"S.","family":"Negri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6331-4256","authenticated-orcid":false,"given":"E.","family":"Pavlovi\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,15]]},"reference":[{"key":"9914_CR1","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P Balbiani","year":"2008","unstructured":"Balbiani,\u00a0P., A.\u00a0Herzig, and N.\u00a0Troquard, Alternative axiomatics and complexity of deliberative STIT theories, Journal of Philosophical Logic 37:387\u2013406, 2008.","journal-title":"Journal of Philosophical Logic"},{"key":"9914_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in Our Indeterminist World","author":"ND Belnap","year":"2001","unstructured":"Belnap,\u00a0N. D., M.\u00a0Perloff, and M.\u00a0Xu, Facing the Future: Agents and Choices in Our Indeterminist World, Oxford: Oxford University Press, 2001."},{"key":"9914_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas,\u00a0B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980."},{"key":"9914_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1017\/bsl.2015.7","volume":"21","author":"R Dyckhoff","year":"2015","unstructured":"Dyckhoff,\u00a0R., and S.\u00a0Negri, Geometrization of first-order logic, The Bulletin of Symbolic Logic 21:123\u2013163, 2015.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9914_CR5","unstructured":"Garg,\u00a0D., V.\u00a0Genovese, and S.\u00a0Negri, Countermodels from sequent calculi in multi-modal logics, In D.\u00a0Galmiche and D.\u00a0Larchey Wendling (eds.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2013), Lecture Notes in Computer Science, 8123:315\u2013324, 2013."},{"key":"9914_CR6","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1017\/S1755020318000023","volume":"11","author":"M Girlando","year":"2018","unstructured":"Girlando,\u00a0M., S.\u00a0Negri, N.\u00a0Olivetti, and V.\u00a0Risch, Conditional beliefs: from neighbourhood semantics to sequent calculus, The Review of Symbolic Logic 11:736-779, 2018.","journal-title":"The Review of Symbolic Logic"},{"key":"9914_CR7","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri,\u00a0S., Proof analysis in modal logic, Journal of Philosophical Logic 34:507\u2013544, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9914_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s11787-014-0097-1","volume":"8","author":"S Negri","year":"2014","unstructured":"Negri,\u00a0S., Proofs and countermodels in non-classical logics, Logica Universalis 8:25\u201360, 2014.","journal-title":"Logica Universalis"},{"key":"9914_CR9","first-page":"1241","volume":"4","author":"S Negri","year":"2017","unstructured":"Negri,\u00a0S., Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IfCoLog Journal of Logics and their Applications 4:1241\u20131286, 2017.","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"9914_CR10","doi-asserted-by":"crossref","unstructured":"Negri,\u00a0S., and N.\u00a0Olivetti, A sequent calculus for preferential conditional logic based on neighbourhood semantics, In H.\u00a0de Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2015), Lecture Notes in Computer Science, 9323:115\u2013134, 2015.","DOI":"10.1007\/978-3-319-24312-2_9"},{"key":"9914_CR11","doi-asserted-by":"publisher","first-page":"418","DOI":"10.2307\/420956","volume":"4","author":"S Negri","year":"1998","unstructured":"Negri,\u00a0S., and J.\u00a0von Plato, Cut elimination in the presence of axioms, The Bulletin of Symbolic Logic 4:418-435, 1998.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9914_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri,\u00a0S., and J.\u00a0von Plato, Structural Proof Theory, Cambridge University Press, Cambridge, 2001."},{"key":"9914_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S Negri","year":"2011","unstructured":"Negri,\u00a0S., and J.\u00a0von Plato, Proof Analysis, Cambridge University Press, Cambridge, 2011."},{"key":"9914_CR14","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1017\/S1755020315000295","volume":"9","author":"S Negri","year":"2016","unstructured":"Negri,\u00a0S., and G.\u00a0Sbardolini, Proof analysis for Lewis counterfactuals, The Review of Symbolic Logic 9:44\u201375, 2016.","journal-title":"The Review of Symbolic Logic"},{"issue":"2","key":"9914_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10992-017-9426-1","volume":"47","author":"GK Olkhovikov","year":"2018","unstructured":"Olkhovikov,\u00a0G. K., and H.\u00a0Wansing, An axiomatic system and a tableau calculus for STIT imagination logic, Journal of Philosophical Logic 47(2):259\u2013279, 2018.","journal-title":"Journal of Philosophical Logic"},{"key":"9914_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-019-09503-1","author":"GK Olkhovikov","year":"2019","unstructured":"Olkhovikov,\u00a0G. K., and H.\u00a0Wansing, Simplified Tableaux for STIT Imagination Logic, Journal of Philosophical Logic 2019, https:\/\/doi.org\/10.1007\/s10992-019-09503-1","journal-title":"Journal of Philosophical Logic"},{"key":"9914_CR17","doi-asserted-by":"crossref","unstructured":"Orlandelli,\u00a0E., Proof analysis in deontic logics, In F.\u00a0Cariani et al. (eds.), Deontic Logic and Normative Systems (DEON2014), Lecture Notes in Artificial Intelligence, 8554:139\u2013148, 2014.","DOI":"10.1007\/978-3-319-08615-6_11"},{"key":"9914_CR18","volume-title":"Norm and Action: A Logical Enquiry","author":"GH von Wright","year":"1963","unstructured":"von\u00a0Wright,\u00a0G. H., Norm and Action: A Logical Enquiry, Routledge & Kegan Paul, Abingdon, 1963."},{"key":"9914_CR19","unstructured":"Wansing,\u00a0H., Tableaux for multi-agent deliberative-stit logic, In G.\u00a0Governatori, I.M.\u00a0Hodkinson, Y.\u00a0Venema (eds.), Advances in Modal Logic 6, 2006, pp. 503\u2013520."},{"key":"9914_CR20","doi-asserted-by":"publisher","first-page":"2843","DOI":"10.1007\/s11229-015-0945-4","volume":"194","author":"H Wansing","year":"2017","unstructured":"Wansing,\u00a0H., Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, Synthese 194:2843\u20132861, 2017.","journal-title":"Synthese"},{"key":"9914_CR21","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1023\/A:1004274131669","volume":"27","author":"M Xu","year":"1998","unstructured":"Xu,\u00a0M., Axioms for deliberative STIT, Journal of Philosophical Logic 27:505\u2013552,1998.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09914-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09914-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09914-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T02:57:56Z","timestamp":1723258676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09914-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,15]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9914"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09914-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,15]]},"assertion":[{"value":"7 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 July 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}