ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Companion to Modal Logic

دانلود کتاب همراهی با منطق معین

A Companion to Modal Logic

مشخصات کتاب

A Companion to Modal Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 0416375103, 0416375006 
ناشر: Methuen 
سال نشر: 1985 
تعداد صفحات: 223 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب A Companion to Modal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب همراهی با منطق معین

توجه: این کتاب بعداً با \"مقدمه ای جدید بر منطق معین\" (1996) جایگزین شد. کتاب قبلی ما، با عنوان مقدمه‌ای بر منطق معین (IML)، در سال 1968 منتشر شد. وقتی آن را نوشتیم، توانستیم یک بررسی جامع و منطقی از وضعیت منطق مدال در آن زمان ارائه دهیم. با این حال، ما بسیار تردید داریم که آیا هر بررسی قابل مقایسه ای امروز امکان پذیر باشد، زیرا از سال 1968، این موضوع به شدت در طیف گسترده ای از جهات توسعه یافته است. بنابراین کتاب حاضر تلاشی برای به روز رسانی IML به سبک آن اثر نیست، بلکه به نوعی دنباله آن است. بخش عمده ای از IML مربوط به توصیف طیف وسیعی از سیستم های معین خاص بود. ما در اینجا هیچ تلاشی برای بررسی تعداد بسیار زیادی از سیستم های موجود در ادبیات اخیر انجام نداده ایم. بررسی های خوبی از این موارد در لمون و اسکات (1977)، سگربرگ (1971) و چلاس (1980) یافت می شود، و ما نمی خواهیم مطالب موجود در این آثار را تکرار کنیم. هدف ما بیشتر تمرکز بر برخی پیشرفت‌های اخیر بوده است که به سؤالاتی در مورد ویژگی‌های کلی سیستم‌های مودال مربوط می‌شود و به اعتقاد ما، به تعمیق واقعی درک ما از منطق مدال منجر شده است. با این حال، بیشتر مطالب مربوطه در حال حاضر فقط در مقالات مجلات و سپس اغلب به شکلی است که فقط برای یک کارگر نسبتاً با تجربه در این زمینه قابل دسترسی است. ما سعی کرده‌ایم تا این پیشرفت‌های مهم را همانطور که معتقدیم باید در دسترس همه دانشجویان منطق مدال قرار دهیم.


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

Note: This book was later replaced by "A New Introduction to Modal Logic" (1996). An earlier book of ours, entitled An Introduction to Modal Logic (IML), was published in 1968. When we wrote it, we were able to give a reasonably comprehensive survey of the state of modal logic at that time. We very much doubt, however, whether any comparable survey would be possible today, for, since 1968, the subject has developed vigorously in a wide variety of directions. The present book is therefore not an attempt to update IML in the style of that work, but it is in some sense a sequel to it. The bulk of IML was concerned with the description of a range of particular modal systems. We have made no attempt here to survey the very large number of systems found in the recent literature. Good surveys of these will be found in Lemmon and Scott (1977), Segerberg (1971) and Chellas (1980), and we have not wished to duplicate the material found in these works. Our aim has been rather to concentrate on certain recent developments which concern questions about general properties of modal systems and which have, we believe, led to a genuine deepening of our understanding of modal logic. Most of the relevant material is, however, at present available only in journal articles, and then often in a form which is accessible only to a fairly experienced worker in the field. We have tried to make these important developments accessible to all students of modal logic,as we believe they should be.



فهرست مطالب

Preface
Note on references

1  Normal propositional modal systems
     The propositional calculus
     Modal propositional logic
     Normal modal systems
     Models
     Validity
     Some extensions of K
     Validity-preservingness in a model
     Notes

2  Canonical models and completeness proofs
     Completeness and consistency
     Maximal consistent sets of wff
     Canonical models
     The completeness of K, T, S4, B and S5
     Three further systems
     Dead ends
     Exercises —2
     Notes

3  More results about characterization
     General characterization theorems
     Conditions not corresponding to any axiom
     Exercises —3
     Notes

4  Completeness and incompleteness in modal logic
     Frames and completeness
     An incomplete normal modal system
     General frames
     What might we understand by incompleteness?
     Exercises —4
     Notes

5  Frames and models
     Equivalent models and equivalent frames
     Pseudo-epimorphisms
     Distinguishable models
     Generated frames
     S4.3 reconsidered
     Exercises —5
     Notes

6  Frames and systems
     Frames for T, S4, B and S5
     The frames of canonical models
     Establishing the rule of disjunction
     A complete but non-canonical system
     Compactness
     Exercises —6
     Notes

7  Subordination frames
     The canonical subordination frame
     Proving completeness by the subordination method
     Tree frames
     S4.3 and linearity
     Systems not containing D
     Exercises —7
     Notes

8  Finite models
     The finite model property
     Filtrations
     Proving that a system has the finite model property
     The completeness of KW
     Characterization by classes of finite models
     The finite frame property
     Decidability
     Systems without the finite model property
     Exercises —8
     Notes

9  Modal predicate logic
     Notation and formation rules for modal LPC
     Modal predicate systems
     Models
     Validity and soundness
     The V property
     Canonical models for S + BF systems
     General questions about completeness in modal LPC
     Exercises —9
     Notes

Bibliography

Glossary

List of axioms for propositional systems

Index




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی