Causal Kripke Models

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis +2

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 wi…