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.

翻译：本文在命题团队语义的框架下探讨KLM风格的优先非单调推理。我们证明基于团队的命题逻辑自然产生累积性非单调蕴涵关系。受团队语义中析取的非经典解释启发，我们对满足系统P所有公设的命题依赖逻辑的优先模型给出了精确刻画。此外，我们展示了经典蕴涵与依赖逻辑蕴涵如何通过非平凡优先模型进行表达。