Coalition Logic is an important logic in logical research on strategic reasoning. In two recent papers, Li and Ju argued that generally, concurrent game models, models of Coalition Logic, have three too strong assumptions: seriality, independence of agents, and determinism. They presented eight coalition logics based on eight classes of general concurrent game models, determined by which of the three assumptions are met. In this paper, we show that each of the eight sets of valid formulas of the eight logics is determined by six other kinds of models, that is, single-coalition-first action models, single-coalition-first actual neighborhood models, clear grand-coalition-first action models, clear single-coalition-first actual neighborhood models, tree-like grand-coalition-first action models, and tree-like single-coalition-first actual neighborhood models.

翻译：联盟逻辑是战略推理逻辑研究中的重要逻辑体系。在最近的两篇论文中，李与鞠指出，通常的并发博弈模型（即联盟逻辑的模型）存在三个过强的假设：序列性、智能体独立性以及确定性。他们基于八类广义并发博弈模型（由满足上述三个假设的不同组合所定义）提出了八种联盟逻辑。本文证明，这八种逻辑各自的有效公式集均可由另外六类模型所刻画，即：单联盟优先行动模型、单联盟优先实际邻域模型、清晰大联盟优先行动模型、清晰单联盟优先实际邻域模型、树状大联盟优先行动模型以及树状单联盟优先实际邻域模型。