Causal Kripke Models
Artificial Intelligence
2023-07-13 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2307.05631,
title = {Causal Kripke Models},
author = {Yiwen Ding and Krishna Manoorkar and Apostolos Tzimoulis and Ruoding Wang and Xiaolong Wang},
journal= {arXiv preprint arXiv:2307.05631},
year = {2023}
}
Comments
In Proceedings TARK 2023, arXiv:2307.04005