Causal Kripke Models
arXiv:2307.05631 · doi:10.4204/EPTCS.379.16
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.
In Proceedings TARK 2023, arXiv:2307.04005