Causal Kripke Models
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 10 of its 53 references that are in the map. First posted on arXiv 11 Jul 2023.
Builds on
10 of 53 references.
References · 10
- 2019Causality for Machine Learningcited by 243
- 2015A Modification of the Halpern-Pearl Definition of Causalitycited by 47
- 2018Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibilitycited by 32
- 2022Causal Explanations and XAIcited by 30
- 2021From Verification to Causality-based Explicationscited by 12
- 2019Blameworthiness in Multi-Agent Settingscited by 11
- 2020The Counterfactual NESS Definition of Causationcited by 8
- 2015Program Actions as Actual Causes: A Building Block for Accountabilitycited by 4
- 2020Thinking About Causation: A Causal Language with Epistemic Operatorscited by 3
- 2016(De-)Composing Causality in Labeled Transition Systemscited by 1
Built on by
Not cited yet.