• مقدمه (5)
  • پیش‌زمینه (5)
  • نگاهی به GTS (6)
  • نگاهی به منطق IF (8)
• پیش نیازها (11)
  • استقلال اطلاعاتی (11)
  • بازی‌های پویا (13)
    • بازی‌های پویا با اطلاعات کامل (13)
    • استراتژی (16)
    • بازی‌های پویا با اطلاعات ناقص (19)
• منطق IF (21)
  • منطق مرتبه اول (21)
    • زبان (21)
    • مدل (24)
    • معناشناسی بر مبنای نظریه بازی‌ها (25)
  • منطق IF (30)
    • زبان (31)
    • معناشناسی بر مبنای نظریهٔ بازی‌ها (33)
• ویژگی‌های منطق IF (36)
  • دوارزشی‌نبودن (36)
  • منطق مرتبهٔ اول و منطق مرتبهٔ دوم وجودی (38)
    • معناشناسی تارسکی و معناشناسی بر مبنای نظریهٔ بازی‌ها در منطق مرتبه-اول (38)
  • مسأله‌ی نقیض و منطق IF گسترش‌یافته (40)
  • ناتوانی در اصل‌موضوعی‌شدن (41)
  • ترکیب‌پذیری (42)
    • کابردهای اصل (42)
    • پیدایش (43)
    • پیشامد (44)
  • ترکیب‌پذیری برای GTS (45)
  • علامت‌دهی (47)
  • معناشناسی ترکیب‌پذیر برای منطق‌ IF (48)
• نتیجه‌گیری و کارهای مشابه و آتی (51)
• مراجع (51)
• نمایه (54)
• واژه‌نامه (54)