ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]

دانلود کتاب رویکرد جبری به ناقص بودن در منطق مدال [پایان نامه دکتری]

An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]

مشخصات کتاب

An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
 
ناشر: Japan Advanced Institute of Science and Technology 
سال نشر: 2005 
تعداد صفحات: 143 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 653 کیلوبایت 

قیمت کتاب (تومان) : 41,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب An Algebraic Approach to Incompleteness in Modal Logic [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رویکرد جبری به ناقص بودن در منطق مدال [پایان نامه دکتری] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب رویکرد جبری به ناقص بودن در منطق مدال [پایان نامه دکتری]

این یک پایان نامه دکترا است که تحت نظارت پروفسور هیرواکیرا اونو در موسسه پیشرفته علم و فناوری ژاپن نوشته شده است.


توضیحاتی درمورد کتاب به خارجی

This is a PhD Thesis written under supervision of Professor Hiroakira Ono at the Japan Advanced Institute of Science and Technology.



فهرست مطالب

1 Introduction 2
2 Basic notions 7
2.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Completeness . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4 Wolter’s Splitting Theorem . . . . . . . . . . . . . . . . . . . . 18
3 Duality theory and minimal extensions 21
3.1 Basics of duality theory, general case . . . . . . . . . . . . . . 21
3.2 Duality theory for AV-baos . . . . . . . . . . . . . . . . . . . 27
3.3 Conservativity of minimal extensions . . . . . . . . . . . . . . 31
3.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4 Non-equivalence of completeness notions 40
4.1 A-inconsistency . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2 wC-inconsistency . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.3 C-inconsistency . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.4 AV U T -inconsistency . . . . . . . . . . . . . . . . . . . . . . . 50
4.5 T -inconsistency . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5 The Generalized Blok Alternative 56
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.2 Degrees of wC-incompleteness . . . . . . . . . . . . . . . . . . 61
5.3 Degrees of AV U T -incompleteness . . . . . . . . . . . . . . . 69
5.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
6 Subdirectly irreducible algebras 72
6.1 Subdirect indeterminacy of C . . . . . . . . . . . . . . . . . . 72
6.2 Positive results . . . . . . . . . . . . . . . . . . . . . . . . . . 76
6.3 S and master modality based on well-order . . . . . . . . . . . 76
6.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7 Strong completeness 80
7.1 Local and global consequence . . . . . . . . . . . . . . . . . . 80
7.2 Application: modal definability for discrete frames . . . . . . . 82
7.3 Second-order character of C-consequence . . . . . . . . . . . . 84
8 Tense logics of linear time flows 86
8.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
8.2 AV-completeness result . . . . . . . . . . . . . . . . . . . . . . 87
8.3 !C-inconsistency once again . . . . . . . . . . . . . . . . . . . 92
8.4 Aside on computational complexity . . . . . . . . . . . . . . . 94
8.5 The gap between !C-completeness and C-completeness . . . . 100
8.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
9 Open problems 104
Appendix A: Algebraic and model-theoretical preliminaries 106
Appendix B: set-theoretical preliminaries 113
Appendix C: Second-order logic and strong consequence 121
References 131
Publications 137




نظرات کاربران