# Propositional Logics of Dependence

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

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 26 Dec 2014.

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

- [A unified logical framework for explanations in classifier systems](https://mlsanity.com/paper/2105.14452/) (2021)
- [On the Complexity and Properties of Preferential Propositional Dependence Logic](https://mlsanity.com/paper/2505.08522/) (2025)
- [A Primer for Preferential Non-Monotonic Propositional Team Logics](https://mlsanity.com/paper/2405.06973/) (2024)
- [On the Complexity of Entailment for Cumulative Propositional Dependence Logics](https://mlsanity.com/paper/2605.21113/) (2026)

## Abstract (arXiv)

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics.