رسته‌ها

Modal Logic An Introduction to its Syntax and Semantics

Modal Logic An Introduction to its Syntax and Semantics
امتیاز دهید
5 / 4
با 1 رای
نویسنده:
امتیاز دهید
5 / 4
با 1 رای
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de dicto sentence.
Lorem ipsum dolor sit amet, consectetur adipiscing elit.
pirmardan
آپلود شده توسط: pirmardan
۱۳۹۹/۰۶/۲۰
اطلاعات نسخه الکترونیکی
تعداد صفحات:
283
فرمت:
PDF
درج دیدگاه مختص اعضا است! برای ورود به حساب خود اینجا و برای عضویت اینجا کلیک کنید.

دیدگاه‌های کتاب الکترونیکی Modal Logic An Introduction to its Syntax and Semantics

تعداد دیدگاه‌ها:
0
دیدگاهی درج نشده؛ شما نخستین نگارنده باشید.
افزودن نسخه جدید
انتخاب فایل
comment_comments_for_the_file