Causal Kripke Models

This work addresses a theoretical gap in causal reasoning for AI and philosophy, but it is incremental as it builds directly on existing causal models.

The paper tackles the problem of reasoning about actual causality in scenarios involving multiple possibilities, temporality, knowledge, and uncertainty by extending Halpern and Pearl's causal models to a possible world semantics environment, resulting in the introduction of a logic of actual causality with modal operators.