{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T02:01:06Z","timestamp":1772935266008,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP23KJ2146"],"award-info":[{"award-number":["JP23KJ2146"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1007\/s10992-025-09822-6","type":"journal-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T10:59:38Z","timestamp":1764241178000},"page":"25-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bringing De Re and De Dicto into STIT Logic"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-2158-4694","authenticated-orcid":false,"given":"Takahiro","family":"Sawasaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,27]]},"reference":[{"key":"9822_CR1","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., & Xu, M. (2001). Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press.","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"9822_CR2","doi-asserted-by":"crossref","unstructured":"Horty, J.F. (2001). Agency and Deontic Logic. Oxford University Press.","DOI":"10.1093\/0195134613.001.0001"},{"key":"9822_CR3","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/bf01028972","volume":"51","author":"BF Chellas","year":"1992","unstructured":"Chellas, B. F. (1992). Time and Modality in the Logic of Agency. Stud. Logica., 51, 485\u2013517. https:\/\/doi.org\/10.1007\/bf01028972","journal-title":"Stud. Logica."},{"issue":"3","key":"9822_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/bf00205016","volume":"24","author":"F Kutschera","year":"1986","unstructured":"Kutschera, F. (1986). Bewirken. Erkenntnis, 24(3), 253\u2013281. https:\/\/doi.org\/10.1007\/bf00205016","journal-title":"Bewirken. Erkenntnis"},{"key":"9822_CR5","first-page":"57","volume":"74","author":"JF Horty","year":"1989","unstructured":"Horty, J. F. (1989). An Alternative Stit Operator. Manuscript, Philosophy Department, University of Maryland, 74, 57\u201374.","journal-title":"Manuscript, Philosophy Department, University of Maryland"},{"issue":"6","key":"9822_CR6","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"JF Horty","year":"1995","unstructured":"Horty, J. F., & Belnap, N. (1995). The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation. Journal Philosophy Logic, 24(6), 583\u2013644.","journal-title":"Journal Philosophy Logic"},{"key":"9822_CR7","doi-asserted-by":"publisher","unstructured":"Belnap, N., & Perloff, M. (1988). Seeing to It That: A Canonical Form for Agentives. Theoria 54(3), 175\u2013199. https:\/\/doi.org\/10.1111\/j.1755-2567.1988.tb00717.x . Corrected version in Kyburg, H.E. Jr., Loui, R.P., Carlson, G.N. (eds.) Knowledge Representation and Defeasible Reasoning, Studies in Cognitive Systems, 5. Springer, Dordrecht.","DOI":"10.1111\/j.1755-2567.1988.tb00717.x"},{"key":"9822_CR8","doi-asserted-by":"publisher","unstructured":"Broersen, J. (2009). A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. In: Baldoni, M., Son, T. C., Riemsdijk, M. B., Winikoff, M. (eds.) Declarative Agent Languages and Technologies VI. DALT 2008. Lecture Notes in Computer Science, 5397, pp. 47\u201359. Springer. https:\/\/doi.org\/10.1007\/978-3-540-93920-7_4","DOI":"10.1007\/978-3-540-93920-7_4"},{"issue":"2","key":"9822_CR9","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 Applications Logic, 9(2), 137\u2013152. https:\/\/doi.org\/10.1016\/j.jal.2010.06.002","journal-title":"Journal Applications Logic"},{"key":"9822_CR10","doi-asserted-by":"publisher","unstructured":"Broersen, J. (2009). A stit-Logic for Extensive Form Group Strategies. In: 2009 IEEE\/WIC\/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology. IEEE. https:\/\/doi.org\/10.1109\/wi-iat.2009.331","DOI":"10.1109\/wi-iat.2009.331"},{"key":"9822_CR11","doi-asserted-by":"publisher","unstructured":"Broersen, J., & Herzig, A. (2015). Using STIT Theory to Talk About Strategies. In: Benthem, J., Ghosh, S., Verbrugge, R. (eds.) Lecture Notes in Computer Science. Lecture Notes in Computer Science, 8972, pp. 137\u2013173. Springer. https:\/\/doi.org\/10.1007\/978-3-662-48540-8_5","DOI":"10.1007\/978-3-662-48540-8_5"},{"key":"9822_CR12","doi-asserted-by":"publisher","unstructured":"Berkel, K., & Lyon, T. (2019). A Neutral Temporal Deontic STIT Logic. In: Blackburn, P., Lorini, E., Guo, M. (eds.) Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18\u201321, 2019, Proceedings, vol. 11813, pp. 340\u2013354. Springer. https:\/\/doi.org\/10.1007\/978-3-662-60292-8_25","DOI":"10.1007\/978-3-662-60292-8_25"},{"key":"9822_CR13","unstructured":"Berkel, K., & Lyon, T. (2021). The Varieties of Ought-implies-Can and Deontic STIT Logic. In: Liu, F., Marra, A., Portner, P., Putte, F.V.D. (eds.) Deontic Logic and Normative Systems: 15th International Conference, DEON 2020\/2021, pp. 56\u201376. College Publication."},{"key":"9822_CR14","doi-asserted-by":"publisher","unstructured":"Abarca, A. I. R., & Broersen, J. (2021) A Deontic Stit Logic Based on Beliefs and Expected Utility. In: Halpern, J., Perea, A. (eds.) Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 335, pp. 281\u2013294. Open Publishing Association. https:\/\/doi.org\/10.48550\/arXiv.2106.11506","DOI":"10.48550\/arXiv.2106.11506"},{"key":"9822_CR15","doi-asserted-by":"crossref","unstructured":"Abarca, A. I. R., & Broersen, J. (2022) A Stit Logic of Responsibility. In: Faliszewski, P., Mascardi, V., Pelachaud, C., Taylor, M.E. (eds.) Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems(AAMAS 2022), pp. 1717\u20131719.","DOI":"10.65109\/TEKE4570"},{"key":"9822_CR16","first-page":"387","volume":"31","author":"S W\u00f6lfl","year":"2002","unstructured":"W\u00f6lfl, S. (2002). Propositional Q-logic. Journal Philosophy Logistics, 31, 387\u2013414.","journal-title":"Journal Philosophy Logistics"},{"issue":"4","key":"9822_CR17","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E. (2013). Temporal STIT Logic and Its Application to Normative Reasoning. Journal Applications Non-Classical Logics, 23(4), 372\u2013399. https:\/\/doi.org\/10.1080\/11663081.2013.841359","journal-title":"Journal Applications Non-Classical Logics"},{"issue":"243","key":"9822_CR18","first-page":"299","volume":"61","author":"R Ciuni","year":"2018","unstructured":"Ciuni, R., & Lorini, E. (2018). Comparing Semantics for Temporal STIT Logic. Logique et Analysis (N.S.), 61(243), 299\u2013339.","journal-title":"Logique et Analysis (N.S.)"},{"key":"9822_CR19","doi-asserted-by":"publisher","unstructured":"Broersen, J., & Meyer, J.-J. C. (2013). Action, Failure and Free Will Choice in Epistemic stit Logic. In: Epistemology, Context, and Formalism, pp. 141\u2013168. Springer. https:\/\/doi.org\/10.1007\/978-3-319-02943-6_9","DOI":"10.1007\/978-3-319-02943-6_9"},{"key":"9822_CR20","doi-asserted-by":"publisher","unstructured":"Ciuni, R., & Horty, J. (2014). STIT Logics, Games, Knowledge, and Freedom. Johan van Benthem on logic and information dynamics, pp. 631\u2013656. https:\/\/doi.org\/10.1007\/978-3-319-06025-5_23","DOI":"10.1007\/978-3-319-06025-5_23"},{"key":"9822_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100708","volume":"123","author":"AIR Abarca","year":"2021","unstructured":"Abarca, A. I. R., & Broersen, J. (2021). Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. Journal of Logical and Algebraic Methods in Programming, 123, Article 100708. https:\/\/doi.org\/10.1016\/j.jlamp.2021.100708","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"9822_CR22","doi-asserted-by":"publisher","unstructured":"Abarca, A. I. R., & Broersen, J. (2023). A Stit Logic of\u00a0Intentionality. In: Lecture Notes in Computer Science, pp. 125\u2013153. Springer. https:\/\/doi.org\/10.1007\/978-3-031-26622-5_8","DOI":"10.1007\/978-3-031-26622-5_8"},{"key":"9822_CR23","doi-asserted-by":"publisher","unstructured":"Xu, M. (1994). Decidability of Deliberative Stit Theories with Multiple Agents. In: Gabbay, D. M., Ohlbach, H. J. (eds.) Temporal Logic. Lecture Notes in Computer Science, 827, pp. 332\u2013348. https:\/\/doi.org\/10.1007\/bfb0013997","DOI":"10.1007\/bfb0013997"},{"issue":"4","key":"9822_CR24","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., & Troquard, N. (2008). Alternative Axiomatics and Complexity of Deliberative STIT Theories. Journal Philosophy Logistics, 37(4), 387\u2013406. https:\/\/doi.org\/10.1007\/s10992-007-9078-7","journal-title":"Journal Philosophy Logistics"},{"key":"9822_CR25","first-page":"133","volume":"7","author":"A Herzig","year":"2008","unstructured":"Herzig, A., & Schwarzentruber, F. (2008). Properties of Logics of Individual and Group Agency. Advances in Modal Logic, 7, 133\u2013149.","journal-title":"Advances in Modal Logic"},{"issue":"5","key":"9822_CR26","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1007\/s11225-012-9445-4","volume":"100","author":"F Schwarzentruber","year":"2012","unstructured":"Schwarzentruber, F. (2012). Complexity Results of STIT Fragments. Stud. Logica., 100(5), 1001\u20131045. https:\/\/doi.org\/10.1007\/s11225-012-9445-4","journal-title":"Stud. Logica."},{"key":"9822_CR27","doi-asserted-by":"crossref","unstructured":"Boudou, J., & Lorini, E. (2018). Concurrent Game Structures for Temporal STIT Logic. In: 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), pp. 381\u2013389.","DOI":"10.65109\/PIRY1782"},{"key":"9822_CR28","doi-asserted-by":"publisher","unstructured":"Herzig, A., Lorini, E., & Perrotin, E. (2022). A Computationally Grounded Logic of Seeing-to-it-that. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, pp. 2648\u20132654. International Joint Conferences on Artificial Intelligence Organization. https:\/\/doi.org\/10.24963\/ijcai.2022\/367","DOI":"10.24963\/ijcai.2022\/367"},{"key":"9822_CR29","first-page":"503","volume":"6","author":"H Wansing","year":"2006","unstructured":"Wansing, H. (2006). Tableaux for Multi-agent Deliberative-Stit Logic. Advances in modal logic, 6, 503\u2013520.","journal-title":"Advances in modal logic"},{"issue":"2","key":"9822_CR30","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10992-017-9426-1","volume":"47","author":"GK Olkhovikov","year":"2018","unstructured":"Olkhovikov, G. K., & Wansing, H. (2018). An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. Journal Philosophy Logistics, 47(2), 259\u2013279. https:\/\/doi.org\/10.1007\/s10992-017-9426-1","journal-title":"Journal Philosophy Logistics"},{"issue":"6","key":"9822_CR31","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1007\/s10992-019-09503-1","volume":"48","author":"GK Olkhovikov","year":"2019","unstructured":"Olkhovikov, G. K., & Wansing, H. (2019). Simplified Tableaux for STIT Imagination Logic. Journal Philosophy Logistics, 48(6), 981\u20131001. https:\/\/doi.org\/10.1007\/s10992-019-09503-1","journal-title":"Journal Philosophy Logistics"},{"key":"9822_CR32","doi-asserted-by":"publisher","unstructured":"Berkel, K., & Lyon, T. (2019). Cut-Free Calculi and Relational Semantics for Temporal STIT Logics. In: Calimeri, F., Leone, N., Manna, M. (eds.) Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 Rende, Italy, May 7\u201311, 2019 Proceedings. Lecture Notes in Computer Science, 11468, pp. 803\u2013819. Springer. https:\/\/doi.org\/10.1007\/978-3-030-19570-0_52","DOI":"10.1007\/978-3-030-19570-0_52"},{"key":"9822_CR33","doi-asserted-by":"publisher","unstructured":"Lyon, T., & Berkel, K. (2019). Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics. In: Baldoni, M., Dastani, M., Liao, B., Sakurai, Y., Zalila\u00a0Wenkstern, R. (eds.) PRIMA 2019: Principles and Practice of Multi-Agent Systems. Lecture Notes in Computer Science, 11873, pp. 202\u2013218. Springer. https:\/\/doi.org\/10.1007\/978-3-030-33792-6_13","DOI":"10.1007\/978-3-030-33792-6_13"},{"issue":"3","key":"9822_CR34","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s11225-020-09914-1","volume":"109","author":"S Negri","year":"2020","unstructured":"Negri, S., & Pavlovi\u0107, E. (2020). Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. Studia Logica, 109(3), 473\u2013507. https:\/\/doi.org\/10.1007\/s11225-020-09914-1","journal-title":"Studia Logica"},{"key":"9822_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/s10699-021-09784-3","author":"S Negri","year":"2021","unstructured":"Negri, S., & Pavlovi\u0107, E. (2021). Alternative Axiomatization for Logics of Agency in a G3 Calculus. Foundations Sciences. https:\/\/doi.org\/10.1007\/s10699-021-09784-3","journal-title":"Foundations Sciences"},{"key":"9822_CR36","doi-asserted-by":"publisher","unstructured":"Liberman, A. O., Achen, A., & Rendsvig, R. K. (2020). Dynamic Term-modal Logics for First-order Epistemic Planning. Artificial Intelligence, 286. https:\/\/doi.org\/10.1016\/j.artint.2020.103305","DOI":"10.1016\/j.artint.2020.103305"},{"key":"9822_CR37","doi-asserted-by":"crossref","unstructured":"Sawasaki, T. (2024). Semantic incompleteness of Liberman et al. (2020)\u2019s Hilbert-style system for term-modal logic $$\\textbf{K}$$ with equality and non-rigid terms. In: Indrzejczak, A., Zawidzki, M. (eds.) Proceedings Eleventh International Conference onNon-Classical Logics. Theory and Applications \u0141\u00f3d\u017a, Poland, 5\u20138 September 2024, pp. 66\u201376.","DOI":"10.4204\/EPTCS.415.9"},{"key":"9822_CR38","doi-asserted-by":"publisher","unstructured":"Wang, Y., Wei, Y., & Seligman, J. (2022). Quantifier-free Epistemic Term-modal Logic with Assignment Operator. Annua Pure Applications Logic, 173(3), 103071. https:\/\/doi.org\/10.1016\/j.apal.2021.103071","DOI":"10.1016\/j.apal.2021.103071"},{"key":"9822_CR39","doi-asserted-by":"crossref","unstructured":"Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. Routledge.","DOI":"10.4324\/9780203290644"},{"key":"9822_CR40","doi-asserted-by":"publisher","unstructured":"Achen, A. (2017). Putting the Agents Back in the Domain: A Two-Sorted Term-Modal Logic. Master\u2019s thesis, University of Copenhagen (May 2017). https:\/\/doi.org\/10.48550\/arXiv.1811.01590 . Bachelor thesis.","DOI":"10.48550\/arXiv.1811.01590"},{"key":"9822_CR41","unstructured":"Benthem, J. (2010). Correspondence Theory. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic 3, 2nd edn., pp. 325\u2013404. Springer, Chap. 4."},{"key":"9822_CR42","doi-asserted-by":"crossref","unstructured":"Fitting, M., & Mendelsohn, R.L. (1998). First-Order Modal Logic. Kluwer Academic Publishers.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"9822_CR43","doi-asserted-by":"publisher","unstructured":"Sano, K., & Yamada, T. (2022). Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. In: Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, pp. 116\u2013135. https:\/\/doi.org\/10.1007\/978-3-031-25894-7_6. Springer.","DOI":"10.1007\/978-3-031-25894-7_6"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09822-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09822-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09822-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T07:28:38Z","timestamp":1772868518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09822-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["9822"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09822-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"3 January 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This declaration is not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"The author has no relevant financial or non-financial interests to disclose.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}