دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Willem Ernst Conradie سری: ناشر: University of the Witwatersrand سال نشر: 2006 تعداد صفحات: 201 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب 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.