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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis]

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

مشخصات کتاب

Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان: Willem Ernst Conradie  
سری:  
 
ناشر: University of the Witwatersrand 
سال نشر: 2006 
تعداد صفحات: 201 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

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

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

در صورت تبدیل فایل کتاب Algorithmic Correspondence and Completeness in Modal Logic [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

این پایان نامه یک دیدگاه الگوریتمی در مورد مطابقت بین مودال و ترکیبی دارد منطق از یک سو و منطق درجه اول از سوی دیگر. متعارف بودن فرمول ها و توسط ضمنی کامل بودن منطق ها، به طور همزمان درمان می شود. فرمول‌های مودال شرایط مرتبه دوم را در فریم‌ها تعریف می‌کنند که در برخی موارد معادل هستند. قابل تقلیل به شرایط مرتبه اول. فرمول های مدال که دومی برای آنها امکان پذیر است ابتدایی نامیده می شوند. همانطور که مشخص است، از نظر الگوریتمی غیرقابل تصمیم گیری است که آیا داده شده است یا خیر فرمول مودال شرایط فریم مرتبه اول را تعریف می کند یا خیر. از این رو، هرگونه تلاش برای ترسیم کلاس فرمول های مودال ابتدایی با استفاده از یک معیار قابل تصمیم گیری فقط می تواند شامل تقریبی از این کلاس را آموزش دهید. چنین تقریب هایی که از نظر نحوی مشخص شده اند عبارتند از کلاس‌های سهل‌کویستی و فرمول‌های استقرایی. تقریب هایی که در نظر می گیریم شکل می گیرند از الگوریتم ها ما الگوریتمی به نام SQEMA توسعه می‌دهیم که معادل‌های فریم مرتبه اول را محاسبه می‌کند. فرمول های مودال، با تبدیل آنها به فرمول های خالص در یک زبان ترکیبی معکوس. نشان داده شده است که این الگوریتم زیر کلاس های سهلکویست و فرمول های استقرایی است و که تمام فرمول هایی که در آنها موفق می شود d-Presistent (متعارف) هستند، و از این رو بدیهی هستند کامل منطق های مودال عادی

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

This thesis takes an algorithmic perspective on the correspondence between modal and hybrid logics on the one hand, and first-order logic on the other. The canonicity of formulae, and by implication the completeness of logics, is simultaneously treated. Modal formulae define second-order conditions on frames which, in some cases, are equiv- alently reducible to first-order conditions. Modal formulae for which the latter is possible are called elementary. As is well known, it is algorithmically undecidable whether a given modal formula defines a first-order frame condition or not. Hence, any attempt at delineating the class of elementary modal formulae by means of a decidable criterium can only consti- tute an approximation of this class. Syntactically specified such approximations include the classes of Sahlqvist and inductive formulae. The approximations we consider take the form of algorithms. We develop an algorithm called SQEMA, which computes first-order frame equivalents for modal formulae, by first transforming them into pure formulae in a reversive hybrid language. It is shown that this algorithm subsumes the classes of Sahlqvist and inductive formulae, and that all formulae on which it succeeds are d-persistent (canonical), and hence axiomatize complete normal modal logics.