We introduce Value Coalition Logic, a typed assignment-based reconstruction of classical coalition logic. The strategic semantics is unchanged: coalitional ability is still interpreted by the standard one-step game-form clause. The change is at the atomic level. Instead of flat propositional valuations, states carry total assignments of values to finitely typed variables. As a result, exhaustivity and mutual exclusion of alternative values are built into the semantics, rather than imposed as external coherence constraints. We prove that, over each fixed finite typed signature, Value Coalition Logic is truth-equivalent to propositional coalition logic over coherent valuations. This correspondence yields a sound and complete Hilbert-style axiomatisation obtained by adding finite-domain value-coherence axioms to the standard axioms of coalition logic. The main contribution is structural. Projecting ordinary coalitional ability onto a single value domain yields quotient game forms, projected effectivity families, and strategic value-range hypergraphs. These structures support set-valued strategic exclusion, transversal polarity for disjoint coalitions, exact boundary duality between the empty and grand coalitions, and a measure of residual value indeterminacy. Thus the logic is conservative in its strategic modality, but exposes value-level invariants that are hidden in flat propositional encodings.

翻译：本文提出价值联盟逻辑（Value Coalition Logic）——经典联盟逻辑的一种基于类型赋值的重构形式。策略语义保持不变：联盟能力仍通过标准的一步博弈形式子句解释。变化发生在原子层面：状态不再承载平坦命题赋值，而是携带对有限类型变量的全赋值。由此，替代值之间的穷尽性与互斥性被内嵌于语义之中，而非作为外部一致性约束强加。我们证明：在任意固定有限类型签名上，价值联盟逻辑与基于一致赋值的命题联盟逻辑在真值上等价。这一对应关系导出一种可靠且完全的希尔伯特式公理化——通过向联盟逻辑标准公理添加有限域值一致性公理实现。主要贡献具有结构性：将普通联盟能力投影至单一值域，可导出商博弈形式、投影效应族以及策略值域超图。这些结构支持：集值策略排除、不相交联盟间的横向极性、空联盟与大联盟间的精确边界对偶性，以及残余值不确定性的度量。因此，该逻辑在策略模态上是保守的，但揭示了平坦命题编码中隐藏的值级不变量。