محسن فرزادی - دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
مجتبی رشیدی - دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
آزاده افشاریان - دانشگاه آزاد اسلامی واحد خرم آباد،گروه ارشد کامپیوتر،
سیدعبدالمجید موسوی - عضو هیات علمی گروه برق دانشگاه لرستان، خرم آباد،

منطق پویای گزاره ای یا PDL بعنوان منطقی برای استدلال ساختارهای برنامه نویسی منظم مورداستفاده قرار میگیرد که مادراین پژوهش چشم اندازجدیدی برPDL بعنوان منطق راهبردی استراتژیک چندعاملی MASL پیشنهاد می کنیم این منطق برای استدلال راهبردی دارای راهبردهای گروهی می باشد و منطق نظریه بازی را به منطق کیفیتی modal استاندارد نزدیک می کند همچنین نشان میدهیم ه MASL می تواند مفاهیم کلیدی نظریه بازی نظریه انتخاب اجتماعی و نظریه رای گری را بصورت طبیعی بیان کند و سیستم کامل و دقیقی برای MASL ارایه میدهیم همچنین نشان میدهیم که MASL منطق اتحادی را به راحتی کدبندی می کند سپس این زبان را به منطق راهبردی چندعاملی هستی شناسی EMSAL توسعه میدهیم مثالهایی ازآن ارایه داده و کاربرد آنرا برای سخت سوالات جدید درنظریه انتخاب اجتماعی هستی شناسی شناختی شرح میدهیم هدف اصلی دراین مقاله ارایه یک روش حسابی برای استدلال درزمینه دسته های طبیعی نظریه بازی درهستان شناسی می باشد

راهبرد ، نظریه بازی ها ، منطق اتحادی ، منطق کیفیتی ، منطق پویا ، نظریه رای گیری