{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:00:24Z","timestamp":1740099624620,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030388072"},{"type":"electronic","value":"9783030388089"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-38808-9_11","type":"book-chapter","created":{"date-parts":[[2020,1,13]],"date-time":"2020-01-13T17:03:25Z","timestamp":1578935005000},"page":"171-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings"],"prefix":"10.1007","author":[{"given":"Aldo Iv\u00e1n Ram\u00edrez","family":"Abarca","sequence":"first","affiliation":[]},{"given":"Jan","family":"Broersen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,14]]},"reference":[{"key":"11_CR1","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. In: van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B. (eds.) Handbook of Epistemic Logic, pp. 543\u2013589. College Publications (2015)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1257\/aer.98.1.72","volume":"98","author":"RJ Aumann","year":"2008","unstructured":"Aumann, R.J., Dreze, J.H.: Rational expectations in games. Am. Econ. Rev. 98(1), 72\u201386 (2008)","journal-title":"Am. Econ. Rev."},{"key":"11_CR3","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":"11_CR4","unstructured":"Boudou, J., Lorini, E.: Concurrent game structures for temporal STIT logic. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 381\u2013389. International Foundation for Autonomous Agents and Multiagent Systems (2018)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","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, vol. 5397, pp. 47\u201359. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-93920-7_4"},{"issue":"2","key":"11_CR6","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."},{"key":"11_CR7","unstructured":"Broersen, J., Ram\u00edrez Abarca, A.I.: Formalising oughts and practical knowledge without resorting to action types. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1877\u20131879. International Foundation for Autonomous Agents and Multiagent Systems (2018)"},{"key":"11_CR8","unstructured":"Duijf, H.: Let\u2019s do it!: collective responsibility, joint action, and participation. Ph.D. thesis, Utrecht University (2018)"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1111\/j.1747-9991.2008.00137.x","volume":"3","author":"J Fantl","year":"2008","unstructured":"Fantl, J.: Knowing-how and knowing-that. Philos. Compass 3(3), 451\u2013470 (2008)","journal-title":"Philos. Compass"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 209\u2013216. ACM (2006)","DOI":"10.1145\/1160633.1160666"},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud. Logica. 75(1), 125\u2013157 (2003)","journal-title":"Stud. Logica."},{"key":"11_CR12","unstructured":"Horty, J.: Epistemic oughts in STIT semantics. In: Deontic Logic and Normative Systems. Proceedings of DEON 2018, pp. 157\u2013176 (2016)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Horty, J., Pacuit, E.: Action types in STIT semantics. Rev. Symb. Log. (2017, forthcoming)","DOI":"10.1017\/S1755020317000016"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1080\/11663081.2013.841359","volume":"23","author":"E Lorini","year":"2013","unstructured":"Lorini, E.: Temporal logic and its application to normative reasoning. J. Appl. Non-Class. Log. 23(4), 372\u2013399 (2013)","journal-title":"J. Appl. Non-Class. Log."},{"issue":"6","key":"11_CR15","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":"11_CR16","unstructured":"Naumov, P., Tao, J.: Coalition power in epistemic transition systems. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 723\u2013731. International Foundation for Autonomous Agents and Multiagent Systems (2017)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Naumov, P., Tao, J.: Together we know how to achieve: an epistemic logic of know-how. arXiv preprint arXiv:1705.09349 (2017)","DOI":"10.4204\/EPTCS.251.32"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/s11225-013-9492-5","volume":"102","author":"G Payette","year":"2014","unstructured":"Payette, G.: Decidability of an Xstit logic. Stud. Logica. 102(3), 577\u2013607 (2014)","journal-title":"Stud. Logica."},{"key":"11_CR19","doi-asserted-by":"publisher","DOI":"10.4324\/9780203875858","volume-title":"The Concept of Mind","author":"G Ryle","year":"2009","unstructured":"Ryle, G.: The Concept of Mind. Routledge, Abingdon (2009)"},{"issue":"5","key":"11_CR20","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1007\/s11225-012-9445-4","volume":"100","author":"F Schwarzentruber","year":"2012","unstructured":"Schwarzentruber, F.: Complexity results of STIT fragments. Stud. Logica. 100(5), 1001\u20131045 (2012)","journal-title":"Stud. Logica."},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-662-55665-8_15","volume-title":"Logic, Rationality, and Interaction","author":"F Putte Van De","year":"2017","unstructured":"Van De Putte, F., Tamminga, A., Duijf, H.: Doing without nature. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 209\u2013223. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_15"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-662-48561-3_32","volume-title":"Logic, Rationality, and Interaction","author":"Y Wang","year":"2015","unstructured":"Wang, Y.: A logic of knowing how. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 392\u2013405. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48561-3_32"},{"issue":"6","key":"11_CR23","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1007\/s10992-015-9365-7","volume":"44","author":"M Xu","year":"2015","unstructured":"Xu, M.: Combinations of STIT with ought and know. J. Philos. Log. 44(6), 851\u2013877 (2015). https:\/\/doi.org\/10.1007\/s10992-015-9365-7 . http:\/\/dx.doi.org\/10.1007\/s10992-015-9365-7","journal-title":"J. Philos. Log."}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38808-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T01:48:16Z","timestamp":1722304096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38808-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030388072","9783030388089"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38808-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DALI","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":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dali2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/workshop.dali.di.uminho.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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","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":"12","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":"2","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":"46% - 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)"}}]}}