DROPS

Document

DOI: 10.4230/LIPIcs.CSL.2024.15

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals

Authors: Fausto Barbero and Jonni Virtema

Published in: LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)

Abstract

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.

Cite as

Fausto Barbero and Jonni Virtema. Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 15:1-15:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{barbero_et_al:LIPIcs.CSL.2024.15,
  author =	{Barbero, Fausto and Virtema, Jonni},
  title =	{{Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals}},
  booktitle =	{32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)},
  pages =	{15:1--15:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-310-2},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{288},
  editor =	{Murano, Aniello and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.15},
  URN =		{urn:nbn:de:0030-drops-196583},
  doi =		{10.4230/LIPIcs.CSL.2024.15},
  annote =	{Keywords: Interventionist counterfactuals, Multiteam semantics, Causation, Probability logic, Linear inequalities, Expressive power}
}

Search Results

Documents authored by Barbero, Fausto

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals

Abstract

Cite as

Thanks for your feedback!

Could not send message