Propositional union closed team logics

Fan Yang

Research output: Contribution to journalArticleScientificpeer-review


In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We show that all these logics are expressively complete, and we introduce sound and complete systems of natural deduction for these logics. We also discuss the locality property and its connection with interpolation in these logics. (c) 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (

Original languageEnglish
Article number103102
JournalAnnals of Pure and Applied Logic
Issue number6
Number of pages35
Publication statusPublished - Jun 2022
MoE publication typeA1 Journal article-refereed

Fields of Science

  • 111 Mathematics
  • dependence logic
  • inclusion logic
  • team semantics
  • Dependence logic
  • Inclusion logic
  • Team semantics

Cite this