August 2022 Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams
Fausto Barbero, Fan Yang
Author Affiliations +
Notre Dame J. Formal Logic 63(3): 301-341 (August 2022). DOI: 10.1215/00294527-2022-0017

Abstract

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

Citation

Download Citation

Fausto Barbero. Fan Yang. "Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams." Notre Dame J. Formal Logic 63 (3) 301 - 341, August 2022. https://doi.org/10.1215/00294527-2022-0017

Information

Received: 14 May 2021; Accepted: 14 April 2022; Published: August 2022
First available in Project Euclid: 25 September 2022

MathSciNet: MR4489146
zbMATH: 07598582
Digital Object Identifier: 10.1215/00294527-2022-0017

Subjects:
Primary: 03B60
Secondary: 62D20

Keywords: causal teams , dependence logic , interventionist counterfactuals , team semantics

Rights: Copyright © 2022 University of Notre Dame

Vol.63 • No. 3 • August 2022
Back to Top