در این پایان نامه چند نسخه متفاوت از بازی های ایتلافی معرفی می شود. در این بازی ها مفاهیمی چون قانع شدن بازیکن ایتلاف مینیمال بازیگر کلیدی و مجموعه پایدار تعریف می شوند. برای صورت بندی در استدلال در مورد مسایل مطرح شده در هر بازی منطق های متفاوتی متناسب با شرایط بازی ایجاد شده است که در این پایان نامه مورد بررسی قرار میگیرند. منطق cl توسط پایولی برای بررسی قدرت ایتلاف ها در بازی های ایتلافی مطرح شد. او یک تناظر بین خواص بازی ها و اصول منطق ایجاد نمود. همچنین او به ارضاء پذیری و مسیله بررسی گر مدل برای منطق cl پرداخت. آگوتنس منطق k(qcg) را برای صورت بندی مسایل مربوط به بازیکن ها در بازی ایتلافی qcg معرفی نمود. در این منطق مفهوم اساسی قانع شدن بازیکن است. بازی ایتلافی با منابع هزینه crg توسط اسپرن معرفی شد و آگوتنس نشان داد که برای صورتبندی مسایل مربوط به این بازی نیز می توان از منطق k(qcg) استفاده کرد. بازی ایتلافی qcg با اولویت اهداف برای هر بازیکن توسط اسپرن معرفی شد و آگوتنس برای صورت بندی مفاهیمی مانند مجموعه پایدار هسته و مجموعه توافقی در بازی منطق cgl را تعریف کرد.