Yiwen Ding (Vrije Universiteit Amsterdam) |
Krishna Manoorkar (Vrije Universiteit Amsterdam) |
Apostolos Tzimoulis (Vrije Universiteit Amsterdam) |
Ruoding Wang (Vrije Universiteit Amsterdam) |
Xiaolong Wang (Vrije Universiteit Amsterdam) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.379.16 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |