مشخصات کتاب

An Essay in Classical Modal Logic, Volume 3

ویرایش:  
نویسندگان: Krister Segerberg  
سری: Filosofska Studier, vol.13 
 
ناشر: Uppsala Universitet 
سال نشر: 1971 
تعداد صفحات: 81 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

در صورت تبدیل فایل کتاب An Essay in Classical Modal Logic, Volume 3 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب یک مقاله در منطق مدال کلاسیک، جلد 3

این اثر مدرک دکتری نویسنده را تشکیل می دهد. پایان نامه، ارائه شده به دانشگاه استنفورد در سال 1971. هدف کلی نویسنده ارائه به شیوه ای سازمان یافته نظریه معناشناسی رابطه ای (معناشناسی کریپکی) در منطق گزاره ای مدال، و همچنین معناشناسی عمومی تر همسایگی (معناشناسی مونتاگ-اسکات)، و سپس این موارد را به طور سیستماتیک در بررسی طیف وسیعی از منطق‌های مودال به کار گیرند. او خود را محدود به منطق های گزاره ای می کند; منطق های مودال کمی در نظر گرفته نمی شوند. نویسنده بسیاری از نتایج را که قبلاً به صورت پراکنده در مجلات و همچنین سایر نتایج ارتباطات شفاهی شناخته شده بودند، در زیر یک جلد گرد هم آورده است. او این نتایج را نظام مند می کند، آنها را به یکدیگر مرتبط می کند و آنها را اصلاح می کند. او برای قضایایی که قبلاً فقط با روش های جبری شناخته شده بودند، اثبات های جدیدی برای بسیاری از قضایای قدیمی ارائه می کند، برای مثال، برهان هایی را از طریق مدل های رابطه ای می سازد. و او همچنین تعداد قابل توجهی از نتایج جدید را به این رشته ارائه می دهد. این آثار برخی قراردادهای نمادی و اصطلاحی را ایجاد کردند که ماندگار بوده اند. به عنوان مثال، اصطلاح قاب به جای ساختار مدل استفاده شد. نویسنده در جلد اول مفاهیم مقدماتی را بیان می‌کند، ایده معناشناسی همسایگی را معرفی می‌کند، چندین قضیه اساسی سازگاری و کامل بودن را بر حسب چنین معناشناسی ایجاد می‌کند، معناشناسی رابطه‌ای را معرفی می‌کند و آن‌ها را با معناشناسی همسایگی مرتبط می‌کند، و مطالعه‌ای را درباره شکل‌های p آغاز می‌کند. و فیلترهای مدل های رابطه ای و همسایگی. او در جلد دوم این تکنیک‌های معنایی را برای مطالعه دقیق مدل‌های رابطه‌ای متعدی و منطق‌های مرتبط به کار می‌برد. در جلد سوم، او مفاهیم و تکنیک‌های توسعه‌یافته در دو جلد اول را به گونه‌ای تطبیق می‌دهد که منطق‌های مودال را که شبه عادی یا شبه منظم هستند، به این معنا که حداقل منطق معین [منظم] را در بر می‌گیرد، بدون اینکه لزوماً خودشان عادی باشند، پوشش دهد. منظم]. [از بررسی دیوید مکینسون.] سیگربرگ از فیلتراسیون به طور گسترده برای اثبات قضایای کامل استفاده کرد. این تکنیک می‌تواند در برخورد با منطق‌هایی مؤثر باشد که مدل متعارف آن‌ها برخی از ویژگی‌های مورد نظر را برآورده نمی‌کند، و زمانی که به دنبال بدیهی‌سازی منطق‌هایی است که با شرایطی در قاب‌های محدود تعریف شده‌اند، خود را نشان می‌دهد. این روش در «مقاله» برای بدیهی کردن طیف وسیعی از منطق‌ها، از جمله مواردی که با کلاس‌های نظم‌های جزئی محدود، نظم‌های خطی محدود (هم غیر بازتابی و هم بازتابی)، و منطق‌های مودال و زمانی ساختارهای N مشخص می‌شوند، استفاده شد. , Z, Q, R با رابطه \"بیشتر\\"\"کمتر\" یا همتایان بازتابی آنها. [برگرفته از R.Goldblatt, Mathematical modal logic: A view of its evolution, J. of Applied Logic, vol.1 (2003), 309-392.]

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

This work forms the author’s Ph.D. dissertation, submitted to Stanford University in 1971. The author’s overall purpose is to present in an organized fashion the theory of relational semantics (Kripke semantics) in modal propositional logic, as well as the more general neighbourhood semantics (Montague-Scott semantics), and then to apply these systematically to the examination of a wide range of individual modal logics. He restricts himself to propositional modal logics; quantified modal logics are not considered. The author brings together under one cover a great many results that were already known in scattered form in journals, as well as others from oral communications; he systematizes these results, relates them to each other, and refines them; he provides new proofs of many old theorems, constructing, for example, demonstrations via relational models for theorems previously known only by algebraic methods; and he also contributes an impressive number of new results to the field. These works established some notational and terminological conventions that have been lasting. For instance, the term frame was used in place of model structure. In the first volume the author sets out some preliminary notions, introduces the idea of neighbourhood semantics, establishes several basic consistency and completeness theorems in terms of such semantics, introduces relational semantics and relates them to neighbourhood semantics, and begins a study of p-morphisms and filtrations of relational and neighbourhood models. In the second volume he applies these semantic techniques to a detailed study of transitive relational models and associated logics. In the third volume he adapts the notions and techniques developed in the first two so as to cover modal logics that are quasi-normal or quasi-regular, in the sense of including the least normal [regular] modal logic without necessarily being themselves normal [regular]. [From the review by David Makinson.] Filtration was used extensively by Segerberg to prove completeness theorems. This technique can be effective in dealing with logics whose canonical model does not satisfy some desired property, and comes into its own when seeking to axiomatise logics defined by some condition on finite frames. This method was applied in ``Essay'' to axiomatise a whole range of logics, including those characterised by the classes of finite partial orderings, finite linear orderings (both irreflexive and reflexive), and the modal and tense logics of the structures of N, Z, Q, R, with the relation "more", "less", or their reflexive counterparts. [Taken from R.Goldblatt, Mathematical modal logic: A view of its evolution, J. of Applied Logic, vol.1 (2003), 309-392.]

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

کتاب های تصادفی

دانلود کتاب Fertigungs- und stoffgerechtes Gestalten in der Feinwerktechnik

دانلود کتاب Quality Teaching in a Culture of Coaching

دانلود کتاب Llewellyn's Complete Book of Lucid Dreaming: A Comprehensive Guide to Promote Creativity, Overcome Sleep Disturbances & Enhance Health and Wellness (Llewellyn's Complete Book Series (10))

دانلود کتاب The History of the Confederate War

دانلود کتاب Elektronikk i praksis : Grunnleggende teori