Causal Kripke Models
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang · Electronic Proceedings in Theoretical Computer Science · 2023
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.