Abstract
This work extends Halpern and Pearl’s causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality with modal operators, which allows for reasoning about causality in scenarios involving multiple possibilities, temporality, knowledge and uncertainty. We illustrate this with a number of examples, and conclude by discussing some future directions for research.
Original language | English |
---|---|
Title of host publication | EPTCS 379 Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge Oxford, United Kingdom, 28-30th June 2023 |
Editors | Rineke Verbruggen |
Pages | 185-200 |
Number of pages | 16 |
DOIs | |
Publication status | Published - 2023 |
Event | 19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023 - Oxford, United Kingdom Duration: 28 Jun 2023 → 30 Jun 2023 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science, EPTCS |
---|---|
Publisher | Open Publishing Association |
Volume | 379 |
ISSN (Print) | 2075-2180 |
Conference
Conference | 19th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023 |
---|---|
Country/Territory | United Kingdom |
City | Oxford |
Period | 28/06/23 → 30/06/23 |
Bibliographical note
Funding Information:*This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101007627. †Yiwen Ding, Ruoding Wang and Xiaolong Wang are supported by the China Scholarship Council ‡Krishna Manoorkar is supported by the NWO grant KIVI.2019.001 awarded to Alessandra Palmigiano.
Publisher Copyright:
© Ding, Manoorkar, Tzimoulis, Wang, Wang.