• چکیده (2)
• منطق U (6)
  • مقدمه (6)
  • زبان منطق U (7)
  • دستگاه استنتاج برای منطق U (8)
  • ویژگی‌ها (10)
  • حذف برش (20)
  • درونیابی (27)
    • درونیاب بدیهی (27)
• معناشناسی فضای پایه (32)
  • مقدمه (32)
  • تعریف فضای پایه (32)
  • چرا تکوار؟ (33)
    • مروری سریع بر مدل‌های کریپکی (33)
    • بررسی شهودی (34)
  • قانون و تایید شدن (34)
  • ادوات جمعی (38)
  • ادوات ضربی (39)
  • ادات شرط (40)
  • قضیه‌‌ی درستی (41)
  • ادات شرط و قضیه‌ی تمامیت (48)
• معناشناسی تکوار رابطه‌ای (49)
  • مقدمه (49)
  • تعریف تکوار رابطه‌ای (49)
  • تفسیری از معناشناسی تکوار رابطه‌ای (52)
  • تعبیر گزاره‌ها (52)
    • تابع تعبیر (52)
    • تعبیر یک رشته (53)
    • تعبیر گزاره‌ها (53)
  • درستی (54)
    • نکته‌ای در مورد ادات شرط (59)
  • تمامیت (60)
    • ادات شرط (60)
    • مدل کانونی (60)
    • اثبات قضیه‌ی تمامیت (65)
  • قضیه‌ی تمامیت برای ادات شرط منطق B (66)
  • چگونه به ادات شرط فکر کنیم؟ (66)
    • یک روش طبیعی (67)
    • تغییر در ساختار (68)
  • تکوار دو رابطه‌ای (68)
    • توجیهی برای تعریف (68)
    • درستی (69)
    • قضیه‌ی تمامیت (70)
• ارتباط تکوار رابطه‌ای و فضای پایه (72)
  • مقدمه (72)
  • فضای پایه حالتی خاص از تکوار رابطه‌ای (72)
• جمع‌بندی و سوالات بیشتر (74)
• مراجع (75)
• Abstract (77)