2026-08-06T11:04:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19658 2024-03-06T11:04:34Z ddc:004 open_access

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals Barbero, Fausto Virtema, Jonni Interventionist counterfactuals Multiteam semantics Causation Probability logic Linear inequalities Expressive power Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be together formalized and studied logically. We discover complete characterizations of expressivity for several logics that can express probabilistic statements, conditioning and interventionist counterfactuals. The results characterize the languages in terms of families of linear equations and closure conditions that define the corresponding classes of causal multiteams. The characterizations yield a strict hierarchy of expressive power. Finally, we present some undefinability results based on the characterizations. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Fausto Barbero and Jonni Virtema 2024 Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2024.15 urn:nbn:de:0030-drops-196583 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.15 eng https://creativecommons.org/licenses/by/4.0/legalcode