Answers are grounded in this paper and cite their sources.
This note demonstrates how Halpern’s causality is modeled using dynamic logic, indicating new avenues for reasoning about causality.
We embed Halpern’s theory of actual cause into a variant of dynamic logic with assignments. We achieve this by associating dynamic logic programs to its central concepts: structural equations and interventions modifying these equations. With these programs we can reduce reasoning about causality to a model checking problem in dynamic logic.
No takes yet. Share an insight, caveat, or question.
Herzig et al. (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: