# On Dependence Logic

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

## Key facts

- Cited by 5 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 25 May 2013.

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

- [An Enactivist-Inspired Mathematical Model of Cognition](https://mlsanity.com/paper/2206.06096/) (2022)
- [On the Complexity and Properties of Preferential Propositional Dependence Logic](https://mlsanity.com/paper/2505.08522/) (2025)
- [Reducing Causality to Functions with Structural Models](https://mlsanity.com/paper/2307.07524/) (2023)
- [A Primer for Preferential Non-Monotonic Propositional Team Logics](https://mlsanity.com/paper/2405.06973/) (2024)
- [Inconsistent Databases and Argumentation Frameworks with Collective Attacks](https://mlsanity.com/paper/2605.03954/) (2026)

## Abstract (arXiv)

We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Furthermore, we discuss conditional independence atoms and we prove that conditional and non-conditional independence logic are equivalent. Finally, we briefly discuss an application of our logics to belief representation.