# (De-)Composing Causality in Labeled Transition Systems

arXiv: https://arxiv.org/abs/1608.07880 · HTML: https://mlsanity.com/paper/1608.07880/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 29 Aug 2016.

## Built on by (most cited first, 1 of 1)

- [Causal Kripke Models](https://mlsanity.com/paper/2307.05631/) (2023)

## Abstract (arXiv)

In this paper we introduce a notion of counterfactual causality in the Halpern and Pearl sense that is compositional with respect to the interleaving of transition systems. The formal framework for reasoning on what caused the violation of a safety property is established in the context of labeled transition systems and Hennessy Milner logic. The compositionality results are devised for non-communicating systems.