Coalition planning is the planning based on synchronous concurrent models. This paper presents a logic for reasoning about the coalition and knowledge in coalition planning, and also proposes a proof system and shows its completeness. It is shown that the plan-existence problem of coalition planning based on this logic framework is in PTIME.