Barbero, F. orcid.org/0000-0002-0959-6977 and Yang, F. (2022) Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame Journal of Formal Logic, 63 (3). pp. 301-341. ISSN 0029-4527
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2022 University of Notre Dame. This is an author-produced version of a paper subsequently published in Notre Dame Journal of Formal Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 09 May 2022 08:03 |
Last Modified: | 23 Jan 2023 14:09 |
Status: | Published |
Publisher: | University of Notre Dame |
Refereed: | Yes |
Identification Number: | 10.1215/00294527-2022-0017 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:186271 |