Work

A Note on Halpern’s Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs

Year: 2026

Type: book-chapter

Abstract: 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.

Source: Journal of Logic Language and Information

DOI: 10.1007/s10849-026-09468-w

Authors: Andreas Herzig, Abdallah Saffidine

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique de Toulouse, Université de Toulouse

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,190

Funder: Université de Toulouse