{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:10Z","timestamp":1759147570536,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030658397"},{"type":"electronic","value":"9783030658403"}],"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"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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-65840-3_2","type":"book-chapter","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T09:04:02Z","timestamp":1608541442000},"page":"17-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Thinking About Causation: A Causal Language with Epistemic Operators"],"prefix":"10.1007","author":[{"given":"Fausto","family":"Barbero","sequence":"first","affiliation":[]},{"given":"Katrin","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Sonja","family":"Smets","sequence":"additional","affiliation":[]},{"given":"Fernando R.","family":"Vel\u00e1zquez-Quesada","sequence":"additional","affiliation":[]},{"given":"Kaibo","family":"Xie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"key":"2_CR1","first-page":"135","volume":"11","author":"A Baltag","year":"2016","unstructured":"Baltag, A.: To know is to know the value of a variable. Adv. Modal Log. 11, 135\u2013155 (2016)","journal-title":"Adv. Modal Log."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., van Benthem, J.: A simple logic of functional dependence. J. Philos. Log. (2020)","DOI":"10.1007\/s10992-020-09588-z"},{"key":"2_CR3","unstructured":"Baltag, A., Canavotto, I., Smets, S.: Causal agency and responsibility: a refinement of STIT logic. In: Giordani, A., Malinowski, J. (eds.) Logic in High Definition. Trends in Logical Semantics (forthcoming)"},{"key":"2_CR4","first-page":"43","volume-title":"TARK","author":"A Baltag","year":"1998","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) TARK, pp. 43\u201356. Morgan Kaufmann, San Francisco (1998). http:\/\/dl.acm.org\/citation.cfm?id=645876.671885"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Barbero, F., Sandu, G.: Interventionist counterfactuals on causal teams. In: Finkbeiner, B., Kleinberg, S. (eds.) Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, Thessaloniki, Greece, 21st April 2018. Electronic Proceedings in Theoretical Computer Science, vol. 286, pp. 16\u201330. Open Publishing Association (2019)","DOI":"10.4204\/EPTCS.286.0"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Barbero, F., Sandu, G.: Team semantics for interventionist counterfactuals: observations vs. interventions. J. Philos. Log. (2020, to appear)","DOI":"10.1007\/s10992-020-09573-6"},{"key":"2_CR7","unstructured":"Barbero, F., Yang, F.: Counterfactuals and dependencies on causal teams: expressive power and deduction systems. Adv. Modal Log. (2020, accepted, forthcoming)"},{"key":"2_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"2_CR9","unstructured":"Bergstein, B.: What AI still can\u2019t do (2020). https:\/\/www.technologyreview.com\/2020\/02\/19\/868178\/what-ai-still-cant-do\/. Accessed June 2020"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. No. 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001). https:\/\/doi.org\/10.1017\/CBO9781107050884","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s11098-012-9908-5","volume":"160","author":"R Briggs","year":"2012","unstructured":"Briggs, R.: Interventionist counterfactuals. Philos. Stud. 160(1), 139\u2013166 (2012)","journal-title":"Philos. Stud."},{"issue":"1","key":"2_CR12","first-page":"93","volume":"22","author":"H Chockler","year":"2004","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Int. Res. 22(1), 93\u2013115 (2004)","journal-title":"J. Artif. Int. Res."},{"key":"2_CR13","series-title":"Synthese Library Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-662-54069-5_7","volume-title":"Logic and Its Applications","author":"J van Eijck","year":"2017","unstructured":"van Eijck, J., Gattinger, M., Wang, Y.: Knowing values and public inspection. In: Ghosh, S., Prasad, S. (eds.) ICLA 2017. LNCS, vol. 10119, pp. 77\u201390. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54069-5_7"},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1009602825894","volume":"1","author":"D Galles","year":"1998","unstructured":"Galles, D., Pearl, J.: An axiomatic characterisation of causal counterfactuals. Found. Sci. 1, 151\u2013182 (1998)","journal-title":"Found. Sci."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1613\/jair.648","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y.: Axiomatizing causal reasoning. J. Artif. Intell. Res. 12, 317\u2013337 (2000)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR18","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"JY Halpern","year":"2016","unstructured":"Halpern, J.Y.: Actual Causality. MIT Press, Cambridge (2016)"},{"issue":"3","key":"2_CR19","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1215\/00318108-110-3-361","volume":"110","author":"C Hitchcock","year":"2001","unstructured":"Hitchcock, C.: A tale of two effects. Philos. Rev. 110(3), 361\u2013396 (2001). https:\/\/doi.org\/10.1215\/00318108-110-3-361","journal-title":"Philos. Rev."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. Log. J. IGPL 5, 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Ibeling, D., Icard, T.: Probabilistic reasoning across the causal hierarchy. arXiv preprint arXiv:2001.02889 (2020)","DOI":"10.1609\/aaai.v34i06.6577"},{"key":"2_CR22","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511981418","volume-title":"Independence-Friendly Logic - Agame-Theoretic Approach","author":"AL Mann","year":"2011","unstructured":"Mann, A.L., Sandu, G., Sevenster, M.: Independence-Friendly Logic - Agame-Theoretic Approach. London Mathematical Society Lecture Note Series, vol. 386. Cambridge University Press, Cambridge (2011)"},{"key":"2_CR23","series-title":"Models, Reasoning, and Inference","volume-title":"Causality","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality. Models, Reasoning, and Inference. Cambridge University Press, Cambridge (2000)"},{"issue":"4","key":"2_CR24","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/biomet\/82.4.669","volume":"82","author":"J Pearl","year":"1995","unstructured":"Pearl, J.: Causal diagrams for empirical research. Biometrika 82(4), 669\u2013688 (1995)","journal-title":"Biometrika"},{"issue":"6","key":"2_CR25","first-page":"583","volume":"34","author":"J Pearl","year":"2002","unstructured":"Pearl, J.: Causality: models, reasoning, and inference. IIE Trans. 34(6), 583\u2013589 (2002)","journal-title":"IIE Trans."},{"key":"2_CR26","series-title":"Models, Reasoning, and Inference","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causality. Models, Reasoning, and Inference, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"key":"2_CR27","series-title":"The New Science of Cause and Effect","volume-title":"The Book of Why","author":"J Pearl","year":"2019","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why. The New Science of Cause and Effect. Penguin Books, London (2019)"},{"key":"2_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2748-9","volume-title":"Causation, Prediction, and Search","author":"P Spirtes","year":"1993","unstructured":"Spirtes, P., Glymour, C., Scheines, R.: Causation, Prediction, and Search, 1st edn. MIT Press, Cambridge (1993)","edition":"1"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Strotz, R.H., Wold, H.O.: Recursive vs. nonrecursive systems: an attempt at synthesis (part I of a triptych on causal chain systems). Econ.: J. Econ. Soc. 417\u2013427 (1960)","DOI":"10.2307\/1907731"},{"key":"2_CR30","series-title":"London Mathematical Society Student Texts","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. London Mathematical Society Student Texts, vol. 70. Cambridge University Press, Cambridge (2007)"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y Wang","year":"2013","unstructured":"Wang, Y., Cao, Q.: On axiomatizations of public announcement logic. Synthese 190(1), 103\u2013134 (2013)","journal-title":"Synthese"},{"key":"2_CR32","series-title":"Oxford Studies in the Philosophy of Science","volume-title":"Making Things Happen","author":"J Woodward","year":"2003","unstructured":"Woodward, J.: Making Things Happen. Oxford Studies in the Philosophy of Science, vol. 114. Oxford University Press, Oxford (2003)"}],"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-65840-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,19]],"date-time":"2024-08-19T18:35:01Z","timestamp":1724092501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-65840-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030658397","9783030658403"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65840-3_2","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":"22 December 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":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"DaLi2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cs.cas.cz\/dali2020\/","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":"31","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":"17","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":"6","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":"55% - 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":"2","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}