Este artículo examina la lógica de coalición, una lógica clave en el estudio lógico del razonamiento estratégico, y su modelo, los modelos de juegos concurrentes. Argumentamos que tres supuestos (serialización, independencia de actores y determinismo) en los modelos de juegos concurrentes existentes son demasiado fuertes. A continuación, proponemos una lógica de coalición basada en un modelo general de juego concurrente que no se ajusta a estos supuestos y demostramos su completitud. Esta lógica parece ser la lógica mínima para razonar sobre el poder de coalición.
