본 논문은 전략적 추론의 논리적 연구에서 중요한 논리인 연합 논리(Coalition Logic)와 그 모델인 동시 게임 모델(concurrent game models)에 대한 연구이다. 기존 동시 게임 모델의 세 가지 가정(직렬성, 작용자의 독립성, 결정론)이 너무 강하다는 점을 논증하고, 이러한 가정을 따르지 않는 일반적인 동시 게임 모델을 기반으로 한 연합 논리를 제시하며, 그 완전성을 증명한다. 이는 연합의 힘에 대한 추론에 있어 최소한의 논리로 보인다.
