منطق زماني ATL براي بيان گزارههايي در مورد آنچه ائتلافي از بازيكنها در يك همكاري استراتژيك ميتوانند بدان دست يابند ارائه شده است.
منطقATEL گسترش منطق ATL بوسيله اضافه كردن ابزار شناخت با تعبير جهانهاي ممكن كه در منطقهاي شناختي معمول است حاصل شده است .
منطق گسترش يافته ATEL-A به منظور افزايش قدرت بيان پذيري نسبت به منطق ATEL ارائه شده استكه ضمن افزايش بيانپذيري خاصيت چك كردن مدل به طريقه نرم افزاري نيز براي آن حفظ ميگردد.
در اين پايان نامه پس از معرفي منطق ATL به علت افزايش بيانپذيري اين منطق به منطقهاي ATEL و ATL-A پرداخته مي شود.
page