  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.

Artificial Intelligence;Logic in Computer Science