این ارائه به بررسی Bisimulation Games در Modal Logic و طبقه‌بندی آن‌ها از دیدگاه Game Theory می‌پردازد. پس از معرفی مفاهیم پایه و نحوهٔ عملکرد این بازی‌ها، ویژگی‌هایی مانند دونفره‌بودن، ترتیبی‌بودن، Perfect Information، Zero-Sum بودن و مفهوم Winning Strategy بررسی می‌شوند. همچنین تفاوت این بازی‌ها با بازی‌های اقتصادی و نقش آن‌ها در تشخیص Logical Equivalence توضیح داده می‌شود. در پایان نیز به ارتباط آن‌ها با First-Order Logic و Ehrenfeucht–Fraïssé Games اشاره خواهد شد.

آیا تاکنون این جملات را شنیده‌اید؟ «بعضی بی‌نهایت‌ها از بعضی دیگر بزرگ‌ترند»، «یک فنجان قهوه همان دونات است»، «گزاره‌ای در ریاضیات وجود دارد که درست است ولی قابل اثبات نیست»، «مجموع اعداد طبیعی برابر با منفی یک‌دوازدهم است»، «می‌توان یک کره را طوری برش داد که تبدیل به دو کره شود» و «اگر بی‌نهایت را به اعداد حقیقی اضافه کنیم با دایره یکی می‌شود».
این جملات جذاب و بحث‌برانگیزند، اما همگی اشتباه‌اند. در این جلسه قصد داریم به این تعابیر اشتباه بپردازیم و صورت درست آن‌ها را یک‌ بار برای همیشه بیان کنیم.