{"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":1772910114810,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030195694","type":"print"},{"value":"9783030195700","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_52","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"803-819","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Cut-Free Calculi and Relational Semantics for Temporal STIT Logics"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Berkel","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3214-0828","authenticated-orcid":false,"given":"Tim","family":"Lyon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"52_CR1","unstructured":"Arkoudas, K., Bringsjord S., Bello, P.: Toward ethical robots via mechanized deontic logic. In: AAAI Fall Symposium on Machine Ethics, pp. 17\u201323 (2005)"},{"issue":"4","key":"52_CR2","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.: Alternative axiomatics and complexity of deliberative STIT theories. J. Philos. Logic 37(4), 387\u2013406 (2008)","journal-title":"J. Philos. Logic"},{"key":"52_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-94-009-0553-5_7","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"N Belnap","year":"1990","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. In: Kyburg, H.E., Loui, R.P., Carlson, G.N. (eds.) Knowledge Representation and Defeasible Reasoning, pp. 167\u2013190. Springer, Dordrecht (1990). https:\/\/doi.org\/10.1007\/978-94-009-0553-5_7"},{"key":"52_CR4","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 on Demand, Oxford (2001)"},{"key":"52_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-030-03098-8_25","volume-title":"PRIMA 2018: Principles and Practice of Multi-Agent Systems","author":"K Berkel van","year":"2018","unstructured":"van Berkel, K., Pascucci, M.: Notions of instrumentality in agency logic. In: Miller, T., Oren, N., Sakurai, Y., Noda, I., Savarimuthu, B.T.R., Cao Son, T. (eds.) PRIMA 2018. LNCS (LNAI), vol. 11224, pp. 403\u2013419. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03098-8_25"},{"key":"52_CR6","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.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"52_CR7","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. Logic 9(2), 137\u2013152 (2011)","journal-title":"J. Appl. Logic"},{"issue":"4","key":"52_CR8","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. Logic 40(4), 499\u2013530 (2011)","journal-title":"J. Philos. Logic"},{"key":"52_CR9","unstructured":"Ciabattoni, A., Lyon, T., Ramanayake, R., Tiu, A.: Mutual translations between nested and labelled calculi for tense logics (2019, unpublished)"},{"key":"52_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"DM Gabbay","year":"1994","unstructured":"Gabbay, D.M., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford (1994)"},{"issue":"3","key":"52_CR11","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Mathematische Zeitschrift 39(3), 405\u2013431 (1935)","journal-title":"Mathematische Zeitschrift"},{"key":"52_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-662-45854-9_5","volume-title":"Autonomes Fahren","author":"JC Gerdes","year":"2015","unstructured":"Gerdes, J.C., Thornton, S.M.: Implementable ethics for autonomous vehicles. In: Maurer, M., Gerdes, J.C., Lenz, B., Winner, H. (eds.) Autonomes Fahren, pp. 87\u2013102. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-45854-9_5"},{"key":"52_CR13","series-title":"Lecture Notes in Mobility","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-05990-7_9","volume-title":"Road Vehicle Automation","author":"NJ Goodall","year":"2014","unstructured":"Goodall, N.J.: Machine ethics and automated vehicles. In: Meyer, G., Beiker, S. (eds.) Road Vehicle Automation. Lecture Notes in Mobility, pp. 93\u2013102. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05990-7_9"},{"key":"52_CR14","unstructured":"Herzig, A., Schwarzentruber, F.: Properties of logics of individual and group agency. In: Advances in Modal Logic, vol. 7, pp. 133\u2013149. College Publications (2008)"},{"issue":"6","key":"52_CR15","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. Logic 24(6), 583\u2013644 (1995)","journal-title":"J. Philos. Logic"},{"key":"52_CR16","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"4","key":"52_CR17","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E.: Temporal STIT logic and its application to normative reasoning. J. Appl. Non-Class. Logics 23(4), 372\u2013399 (2013)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"52_CR18","unstructured":"Lorini, E., Sartor, G.: Influence and responsibility: a logical analysis. In: Legal Knowledge and Information Systems, pp. 51\u201360. IOS Press (2015)"},{"key":"52_CR19","unstructured":"Murakami, Y.: Utilitarian deontic logic. In: Advances in Modal Logic, vol. 5, pp. 211\u2013230. King\u2019s College Publications (2005)"},{"issue":"5\u20136","key":"52_CR20","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. Philos. Logic 34(5\u20136), 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"key":"52_CR21","unstructured":"Negri, S.: Kripke completeness revisited. In: Acts of Knowledge-History, Philosophy and Logic, pp. 247\u2013282 (2009)"},{"issue":"2","key":"52_CR22","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1093\/logcom\/exu037","volume":"26","author":"S Negri","year":"2016","unstructured":"Negri, S.: Proof analysis beyond geometric theories: from rule systems to systems of rules. J. Logic Comput. 26(2), 513\u2013537 (2016)","journal-title":"J. Logic Comput."},{"key":"52_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"issue":"2","key":"52_CR24","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10992-017-9426-1","volume":"47","author":"G Olkhovikov","year":"2018","unstructured":"Olkhovikov, G., Wansing, H.: An axiomatic system and a tableau calculus for STIT imagination logic. J. Philos. Logic 47(2), 259\u2013279 (2018)","journal-title":"J. Philos. Logic"},{"key":"52_CR25","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"AN Prior","year":"1967","unstructured":"Prior, A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)"},{"key":"52_CR26","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"52_CR27","unstructured":"Wansing, H.: Tableaux for multi-agent deliberative-stit logic. In: Advances in Modal Logic, vol. 6, pp. 503\u2013520. College Publications (2006)"},{"issue":"4","key":"52_CR28","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1007\/s10992-012-9238-2","volume":"41","author":"M Xu","year":"2012","unstructured":"Xu, M.: Actions as events. J. Philos. Logic 41(4), 765\u2013809 (2012)","journal-title":"Actions as events. J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T17:02:53Z","timestamp":1721235773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}