{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T20:23:01Z","timestamp":1745094181959,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031436185"},{"type":"electronic","value":"9783031436192"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-43619-2_44","type":"book-chapter","created":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T15:02:40Z","timestamp":1695481360000},"page":"649-664","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-6977","authenticated-orcid":false,"given":"Fausto","family":"Barbero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1582-3718","authenticated-orcid":false,"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,24]]},"reference":[{"key":"44_CR1","first-page":"121","volume":"1994","author":"N Alechina","year":"1995","unstructured":"Alechina, N.: Logic with probabilistic operators. Proc. ACCOLADE 1994, 121\u2013138 (1995)","journal-title":"Proc. ACCOLADE"},{"key":"44_CR2","doi-asserted-by":"publisher","first-page":"988","DOI":"10.2991\/ijcis.d.200703.001","volume":"13","author":"P Baldi","year":"2020","unstructured":"Baldi, P., Cintula, P., Noguera, C.: Classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory. Int. J. Comput. Intell. Syst. 13, 988\u20131001 (2020). https:\/\/doi.org\/10.2991\/ijcis.d.200703.001","journal-title":"Int. J. Comput. Intell. Syst."},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.apal.2022.103159","volume":"173","author":"F Barbero","year":"2022","unstructured":"Barbero, F., Galliani, P.: Embedding causal team languages into predicate logic. Ann. Pure Appl. Logic 173, 103\u2013159 (2022). https:\/\/doi.org\/10.1016\/j.apal.2022.103159","journal-title":"Ann. Pure Appl. Logic"},{"key":"44_CR4","doi-asserted-by":"publisher","unstructured":"Barbero, F., Sandu, G.: Interventionist counterfactuals on causal teams. In: CREST 2018 Proceedings - Electronic Proceedings in Theoretical Computer Science, vol. 286, pp. 16\u201330. Open Publishing Association (2019). https:\/\/doi.org\/10.4204\/eptcs.286.2","DOI":"10.4204\/eptcs.286.2"},{"key":"44_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10992-020-09573-6","volume":"50","author":"F Barbero","year":"2021","unstructured":"Barbero, F., Sandu, G.: Team semantics for interventionist counterfactuals: observations vs. interventions. J. Philos. Logic 50, 471\u2013521 (2021)","journal-title":"J. Philos. Logic"},{"key":"44_CR6","unstructured":"Barbero, F., Sandu, G.: Multiteam semantics for interventionist counterfactuals: probabilities and causation (2023). pre-print, arxiv:2305.02613"},{"key":"44_CR7","doi-asserted-by":"publisher","unstructured":"Barbero, F., Virtema, J.: Expressivity landscape for logics with probabilistic interventionist counterfactuals. CoRR abs\/2303.11993 (2023). https:\/\/doi.org\/10.48550\/arXiv.2303.11993","DOI":"10.48550\/arXiv.2303.11993"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Barbero, F., Virtema, J.: Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. arXiv preprint arXiv:2304.02964 (2023)","DOI":"10.1007\/978-3-031-43619-2_44"},{"issue":"3","key":"44_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1215\/00294527-2022-0017","volume":"63","author":"F Barbero","year":"2022","unstructured":"Barbero, F., Yang, F.: Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame J. Formal Logic 63(3), 301\u2013341 (2022). https:\/\/doi.org\/10.1215\/00294527-2022-0017","journal-title":"Notre Dame J. Formal Logic"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Bareinboim, E., Correa, J., Ibeling, D., Icard, T.: On pearl\u2019s hierarchy and the foundations of causal inference (1st edition). In: Geffner, H., Dechter, R., Halpern, J.Y. (eds.) Probabilistic and Causal Inference: the Works of Judea Pearl, pp. 507\u2013556. ACM Books (2022)","DOI":"10.1145\/3501714.3501743"},{"key":"44_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-662-57669-4_7","volume-title":"Logic, Language, Information, and Computation","author":"M B\u00edlkov\u00e1","year":"2018","unstructured":"B\u00edlkov\u00e1, M., Cintula, P., L\u00e1vi\u010dka, T.: Lindenbaum and Pair extension lemma in infinitary logics. In: Moss, L.S., de Queiroz, R., Martinez, M. (eds.) WoLLIC 2018. LNCS, vol. 10944, pp. 130\u2013144. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-57669-4_7"},{"issue":"1","key":"44_CR12","first-page":"139","volume":"160","author":"R Briggs","year":"2012","unstructured":"Briggs, R.: Interventionist counterfactuals. Philos. Stud. Int. J. Philos. Anal. Trad. 160(1), 139\u2013166 (2012)","journal-title":"Philos. Stud. Int. J. Philos. Anal. Trad."},{"issue":"1\u20132","key":"44_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87(1\u20132), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"issue":"1","key":"44_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1009602825894","volume":"3","author":"D Galles","year":"1998","unstructured":"Galles, D., Pearl, J.: An axiomatic characterization of causal counterfactuals. Found. Sci. 3(1), 151\u2013182 (1998)","journal-title":"Found. Sci."},{"key":"44_CR15","unstructured":"H\u00e1jek, P., Godo, L., Esteva, F.: Fuzzy logic and probability. In: Proceedings of the Uncertainty in Artificial Intelligence UAI, vol. 95, pp. 237\u2013244 (1995)"},{"key":"44_CR16","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"J Halpern","year":"2016","unstructured":"Halpern, J.: Actual Causality. MIT Press, Cambridge (2016)"},{"issue":"1","key":"44_CR17","first-page":"317","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y.: Axiomatizing causal reasoning. J. Artif. Int. Res. 12(1), 317\u2013337 (2000)","journal-title":"J. Artif. Int. Res."},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Peters, S.: Reasoning about causal models with infinitely many variables. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, pp. 5668\u20135675 (2022)","DOI":"10.1609\/aaai.v36i5.20508"},{"key":"44_CR19","first-page":"4779","volume":"6","author":"JJ Heckman","year":"2007","unstructured":"Heckman, J.J., Vytlacil, E.J.: Econometric evaluation of social programs, part i: causal models, structural models and econometric policy evaluation. Handb. Econ. 6, 4779\u20134874 (2007)","journal-title":"Handb. Econ."},{"issue":"1","key":"44_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probability logic for type spaces. Games Econom. Behav. 35(1), 31\u201353 (2001). https:\/\/doi.org\/10.1006\/game.1999.0788","journal-title":"Games Econom. Behav."},{"key":"44_CR21","unstructured":"Hernan, M., Robins, J.: Causal Inference: What if. Chapman & Hall\/CRC, Boca Raton (forthcoming)"},{"key":"44_CR22","unstructured":"Hitchcock, C.: Causal models. In: Zalta, E.N., Nodelman, U. (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2023 edn. (2023)"},{"key":"44_CR23","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. Logic J. IGPL 5, 539\u2013563 (1997)","journal-title":"Logic J. IGPL"},{"key":"44_CR24","doi-asserted-by":"crossref","unstructured":"Ibeling, D., Icard, T.: Probabilistic reasoning across the causal hierarchy. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, pp. 10170\u201310177 (2020)","DOI":"10.1609\/aaai.v34i06.6577"},{"key":"44_CR25","volume-title":"Counterfactuals and Causal Inference","author":"SL Morgan","year":"2015","unstructured":"Morgan, S.L., Winship, C.: Counterfactuals and Causal Inference. Cambridge University Press, Cambridge (2015)"},{"issue":"2","key":"44_CR26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1093\/jigpal\/jzm031","volume":"16","author":"Z Ognjanovi\u0107","year":"2008","unstructured":"Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: Logics with the qualitative probability operator. Logic J. IGPL 16(2), 105\u2013120 (2008). https:\/\/doi.org\/10.1093\/jigpal\/jzm031","journal-title":"Logic J. IGPL"},{"key":"44_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47012-2","volume-title":"Probability Logics: Probability-Based Formalization of Uncertain Reasoning","author":"Z Ognjanovi\u0107","year":"2016","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M., Markovi\u0107, Z.: Probability Logics: Probability-Based Formalization of Uncertain Reasoning. Springer, Berlin (2016)"},{"key":"44_CR28","volume-title":"Causality: Models, Reasoning, and Inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, New York, NY, USA (2000)"},{"key":"44_CR29","volume-title":"Causal Inference in Statistics: A Primer","author":"J Pearl","year":"2016","unstructured":"Pearl, J., Glymour, M., Jewell, N.P.: Causal Inference in Statistics: A Primer. Wiley, Hoboken (2016)"},{"key":"44_CR30","volume-title":"The Book of Why: The New Science Of Cause and Effect","author":"J Pearl","year":"2018","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why: The New Science Of Cause and Effect. Basic Books, New York City (2018)"},{"key":"44_CR31","volume-title":"Elements of Causal Inference: Foundations and Learning Algorithms","author":"J Peters","year":"2017","unstructured":"Peters, J., Janzing, D., Sch\u00f6lkopf, B.: Elements of Causal Inference: Foundations and Learning Algorithms. MIT Press, Cambridge (2017)"},{"key":"44_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-30227-8_21","volume-title":"Logics in Artificial Intelligence","author":"M Ra\u0161kovi\u0107","year":"2004","unstructured":"Ra\u0161kovi\u0107, M., Ognjanovi\u0107, Z., Markovi\u0107, Z.: A logic with conditional probabilities. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 226\u2013238. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_21"},{"key":"44_CR33","doi-asserted-by":"crossref","unstructured":"Spirtes, P., Glymour, C., Scheines, R.N.: Causation, Prediction, and Search. Lecture Notes in Statistics, vol. 81. Springer, New York (1993)","DOI":"10.1007\/978-1-4612-2748-9"},{"key":"44_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic, London Mathematical Society Student Texts","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)"},{"key":"44_CR35","volume-title":"Making Things Happen, Oxford Studies in the Philosophy of Science","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","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43619-2_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T12:56:34Z","timestamp":1703249794000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43619-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031436185","9783031436192"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43619-2_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"24 September 2023","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":"Dresden","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","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":"111","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":"41","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":"11","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":"37% - 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":"3,6","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)"}}]}}