# A Primer for Preferential Non-Monotonic Propositional Team Logics

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

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 7 of its 22 references that are in the map.
- First posted on arXiv 11 May 2024.

## Builds on (most cited first, 7 of 7)

- [On Dependence Logic](https://mlsanity.com/paper/1305.5948/) (2013)
- [Propositional Logics of Dependence](https://mlsanity.com/paper/1412.7998/) (2014)
- [Approximation and Dependence via Multiteam Semantics](https://mlsanity.com/paper/1510.09040/) (2015)
- [Probabilistic team semantics](https://mlsanity.com/paper/1803.02180/) (2018)
- [The Doxastic Interpretation of Team Semantics](https://mlsanity.com/paper/1305.4744/) (2013)
- [A finite axiomatization of conditional independence and inclusion dependencies](https://mlsanity.com/paper/1309.4927/) (2013)
- [Questions and dependency in intuitionistic logic](https://mlsanity.com/paper/1704.01866/) (2017)

## Abstract (arXiv)

This paper considers KLM-style preferential non-monotonic reasoning in the setting of propositional team semantics. We show that team-based propositional logics naturally give rise to cumulative non-monotonic entailment relations. Motivated by the non-classical interpretation of disjunction in team semantics, we give a precise characterization for preferential models for propositional dependence logic satisfying all of System P postulates. Furthermore, we show how classical entailment and dependence logic entailment can be expressed in terms of non-trivial preferential models.