1. Causal Kripke Models
- Author
-
Ding, Yiwen, Manoorkar, Krishna, Tzimoulis, Apostolos, Wang, Ruoding, and Wang, Xiaolong
- Subjects
Computer Science - Artificial Intelligence ,Computer Science - 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., Comment: In Proceedings TARK 2023, arXiv:2307.04005
- Published
- 2023
- Full Text
- View/download PDF