برای استدلال در مورد فرایندهای ناشی از عملکرد چندین مرکز منطق های مختلفی ایجاد شده استکه به صورت بندی گزاره ها در زبان های تخصص یافته و بررسی مدل های متناظر و صدق کذب احکام در این مدل ها می پردازد. همچنین نرم افزارهایی برای بررسی این موارد ایجاد شده است. منطق زمانی atl برای بیان گزاره هایی در مورد آن چه ائتلافی از بازیکن ها در یک همکاری استراتژیک می توانند بدان نایل شوند ارایه شده است. دراین پایان نامه تمامیت این منطق بررسی شده است. منطق atel گسترش منطق atl به وسیله اضافه کردن ابزار شناخت با تعبیر جهان های ممکن که در منطق های شناختی معمول است حاصل شده است. که دراین پایان نامه ضمن بررسی این گسترش به خواص مشترک بین منطق های عمل و شناخت پرداخته شده است. این منطق ها هر چند قدرت بیان برخی بین منطق های عمل و شناخت را دارنداما به علت ناتوانی آن ها در بیان برخی خواص عمومی و جذاب مربوط به عمل و شناخت گسترش یافتند. منطق گسترش یافته atel-a به منظور افزایش قدرت بیان پذیری نسبت به منطق atel ارایه شد که ضمن افزایش بیان پذیری خاصیت چک کردن مدل به طریقه نرم افزاری نیز برای آن حفظ می گردد. در این پایان نامه پس از معرفی منطق atl به علت افزایش بیان پذیری این منطق به منطق atl-a,atel گسترش می یابد و سلامت و تمامیت نیز برای منطق atl بررسی می شود. ?