On the semantics of Strategy Logic

ما تعریف و مطالعه یک تغییر جزئی در معنایی منطق استراتژی: در حالی که در معانی کلاسیک، تمام استراتژی ها در هنگام ارزیابی شرایط مدرنی تغییر می کنند، ما پیشنهاد می کنیم فقط استراتژی هایی را که به یک بازیکن اختصاص داده شده تغییر دهند، بنابراین تطبیق شهود ما می توانیم همان استراتژی را برای بازیکنان در نقاط مختلف در زمان اختصاص دهیم. ما به طور شگفت انگیزی ثابت می کنیم که این مسئله مشکل مدل سازی را حل نمی کند.