Causal Kripke Models

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.

Authors

• Yiwen Ding
• Krishna Manoorkar
• Apostolos Tzimoulis
• Ruoding Wang
• Xiaolong Wang

Keywords

No keywords are indexed for this paper.