CSC project "Causal Networks meet Epistemic Reasoning"
Kaibo Xie, 2016-2020
The topic of this project is the development and study of epistemic/doxastic dynamic logical systems that are able to deal with causal reasoning and their dynamics. We are aiming at building a bridge between work done on epistemic logic on the one hand (including the work by Baltag and Smets on logical systems that have a semantics for conditional belief) and and the work on causal models on the other hand (including the work by Halpern and Pearl that have a semantics for counterfactuals based on causal intervention and structural equations). The bridge will also allow us to use the newly developed formal systems to address puzzles such as the epistemic reading of counterfactual conditionals.