# Thinking About Causation: A Causal Language with Epistemic Operators

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

## Key facts

- Cited by 3 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 Oct 2020.

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

- [Formalizing Statistical Causality via Modal Logic](https://mlsanity.com/paper/2210.16751/) (2022)
- [Observing Interventions: A logic for thinking about experiments](https://mlsanity.com/paper/2111.12978/) (2021)
- [Causal Kripke Models](https://mlsanity.com/paper/2307.05631/) (2023)

## Abstract (arXiv)

This paper proposes a formal framework for modeling the interaction of causal and (qualitative) epistemic reasoning. To this purpose, we extend the notion of a causal model with a representation of the epistemic state of an agent. On the side of the object language, we add operators to express knowledge and the act of observing new information. We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.