ABS Akbarifard(Persion)

منطق زماني ATL   براي   بيان گزارههايي در مورد آنچه ائتلافي از بازيكنها در يك همكاري استراتژيك ميتوانند بدان دست يابند ارائه شده است.

منطقATEL   گسترش منطق   ATL بوسيله اضافه كردن ابزار شناخت با تعبير جهانهاي ممكن كه در منطقهاي   شناختي معمول است حاصل شده است .

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

در اين پايان نامه پس از معرفي منطق ATL به علت افزايش بيانپذيري   اين منطق به منطقهاي ATEL و ATL-A   پرداخته مي   شود.