Loading...

Independence Friendly Logic, Syntactics and Game Semantics

Paksima, Hamid | 2016

404 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 48651 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Ardeshir, Mohammad
  7. Abstract:
  8. IF Logic is an extension of First-Order logic, including syntactic connective ’/’ (independence indicator) which carries the concept of ’independent from’ in language and metalanguage.This logic which has introduced by Hintikka and Sandu in 1989, uses Game-theoretical semantics (GTS) such that every formula is defined as a game and the players are verifier and falsifier of its truth. The formula is True if the verifier has a winning-strategy and it is False where the falsifier has a winning-strategy; and evaluated as indeterminate otherwise. this relates a central concept of logic (truth) to a central concept of game theory(winningstrategy)
  9. Keywords:
  10. Game Theory ; Correctness ; Winning Strategy ; F-Logic ; Compositionality

 Digital Object List

 Bookmark

  • مقدمه
    • پیش‌زمینه
    • نگاهی به GTS
    • نگاهی به منطق IF
  • پیش نیازها
    • استقلال اطلاعاتی
    • بازی‌های پویا
      • بازی‌های پویا با اطلاعات کامل
      • استراتژی
      • بازی‌های پویا با اطلاعات ناقص
  • منطق IF
    • منطق مرتبه اول
      • زبان
      • مدل
      • معناشناسی بر مبنای نظریه بازی‌ها
    • منطق IF
      • زبان
      • معناشناسی بر مبنای نظریهٔ بازی‌ها
  • ویژگی‌های منطق IF
    • دوارزشی‌نبودن
    • منطق مرتبهٔ اول و منطق مرتبهٔ دوم وجودی
      • معناشناسی تارسکی و معناشناسی بر مبنای نظریهٔ بازی‌ها در منطق مرتبه-اول
    • مسأله‌ی نقیض و منطق IF گسترش‌یافته
    • ناتوانی در اصل‌موضوعی‌شدن
    • ترکیب‌پذیری
      • کابردهای اصل
      • پیدایش
      • پیشامد
    • ترکیب‌پذیری برای GTS
    • علامت‌دهی
    • معناشناسی ترکیب‌پذیر برای منطق‌ IF
  • نتیجه‌گیری و کارهای مشابه و آتی
  • مراجع
  • نمایه
  • واژه‌نامه
...see more