我们证明了凸命题逻辑和模态团队逻辑的表达完全性结果，其中逻辑的凸性是指对于每个公式，如果它在两个团队 \( t \) 和 \( u \) 中为真且 \( t \subseteq s \subseteq u \)，则它在 \( s \) 中也为真。我们引入了多个具有凸命题/模态团队属性表达完全性的命题/模态逻辑。我们还回答了一个关于经典命题逻辑扩展非空原子 NE 的表达能力的开放问题：我们证明其对于所有凸且并封闭的属性是表达完全的。这一模态逻辑的类似结果进一步得到了 Aloni 的基于双边状态的模态逻辑的表达完全性定理。从某种意义上说，其中一个新提出的命题凸逻辑扩展了命题依赖逻辑，另一个则扩展了命题求知逻辑。我们推广了团队语义文献中考虑的均匀定义概念，以形式化凸逻辑的扩展概念。

We prove expressive completeness results for convex propositional and modal team logics, where a logic is convex if, for each formula, if it is true in two teams $t$ and $u$ and $t\subseteq s\subseteq u$, then it is also true in $s$. We introduce multiple propositional/modal logics which are expressively complete for the class of all convex propositional/modal team properties. We also answer an open question concerning the expressive power of classical propositional logic extended with the nonemptiness atom NE: we show that it is expressively complete for the class of all convex and union-closed properties. A modal analogue of this result additionally yields an expressive completeness theorem for Aloni's Bilateral State-based Modal Logic. In a specific sense, one of the novel propositional convex logics extends propositional dependence logic and another, propositional inquisitive logic. We generalize the notion of uniform definability, as considered in the team semantics literature, to formalize the notion of extension pertaining to the convex logics.