Causal Kripke Models

TL;DR

This paper extends causal models to a modal logic framework, enabling reasoning about causality across different possible worlds, incorporating temporality, knowledge, and uncertainty.

Contribution

It introduces a logic of actual causality with modal operators within a possible world semantics, expanding the scope of causal reasoning.

Findings

Framework allows reasoning about causality in multiple possible scenarios

Illustrated with diverse examples involving temporality and knowledge

Sets the stage for future research in causal logic and applications

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.