यह शोधपत्र गठबंधन तर्क, रणनीतिक तर्क के तार्किक अध्ययन में एक प्रमुख तर्क, और इसके मॉडल, समवर्ती खेल मॉडलों, का परीक्षण करता है। हमारा तर्क है कि मौजूदा समवर्ती खेल मॉडलों में तीन मान्यताएँ (क्रमिकता, कर्ताओं की स्वतंत्रता, और नियतिवाद) बहुत प्रबल हैं। इसके बाद हम एक सामान्य समवर्ती खेल मॉडल पर आधारित गठबंधन तर्क प्रस्तुत करते हैं जो इन मान्यताओं का पालन नहीं करता, और इसकी पूर्णता को प्रदर्शित करता है। यह तर्क गठबंधन शक्ति के बारे में तर्क करने के लिए न्यूनतम तर्क प्रतीत होता है।