دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter (eds) سری: Studies in Logic and Practical Reasoning 3 ISBN (شابک) : 0444516905, 0080466664 ناشر: Elsevier Science سال نشر: 2007 تعداد صفحات: 1256 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Handbook of Modal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب راهنمای منطق معین نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کتاب راهنمای منطق مدال شامل 20 مقاله است که در مجموع به معرفی
منطق مودال معاصر می پردازد، تحقیقات جاری را بررسی می کند و نشان
می دهد که این رشته در حال توسعه است. این مقالات این زمینه را از
دیدگاههای مختلف بررسی میکنند: نظریه زیربنایی به طور عمیق مورد
بررسی قرار میگیرد، رویکردهای محاسباتی مدرن مورد بررسی قرار
میگیرد و شش حوزه کاربردی اصلی منطق مدال (در ریاضیات، علوم
کامپیوتر، هوش مصنوعی، زبانشناسی، نظریه بازی، و فلسفه) بررسی می
شوند. این کتاب شامل مقالات توضیحی خوب نوشته شده، مناسب برای
مبتدیانی است که برای اولین بار به این موضوع می پردازند، و
مقالات پیشرفته، که به کسانی که قبلاً با این زمینه آشنا هستند
کمک می کند تا تخصص خود را عمیق تر کنند. لطفاً به این آدرس
مراجعه کنید:
http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html
- مرجع منطق معین فشرده
- رویکردهای محاسباتی به طور کامل مورد بحث قرار گرفته است
- کاربردهای معاصر منطق معین به طور عمیق پوشش داده شده است
The Handbook of Modal Logic contains 20 articles, which
collectively introduce contemporary modal logic, survey current
research, and indicate the way in which the field is
developing. The articles survey the field from a wide variety
of perspectives: the underling theory is explored in depth,
modern computational approaches are treated, and six major
applications areas of modal logic (in Mathematics, Computer
Science, Artificial Intelligence, Linguistics, Game Theory, and
Philosophy) are surveyed. The book contains both well-written
expository articles, suitable for beginners approaching the
subject for the first time, and advanced articles, which will
help those already familiar with the field to deepen their
expertise. Please visit:
http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html
- Compact modal logic reference
- Computational approaches fully discussed
- Contemporary applications of modal logic covered in depth
Content:
Contributors
Pages vii-x
Preface
Pages xi-xxiii
Patrick Blackburn, Johan van Benthem, Frank Wolter
1 Modal logic: a semantic perspective Original Research Article
Pages 1-84
Patrick Blackburn, Johan van Benthem
2 Modal proof theory Original Research Article
Pages 85-138
Melvin Fitting
3 Complexity of modal logic Original Research Article
Pages 139-179
Maarten Marx
4 Computational modal logic Original Research Article
Pages 181-245
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt
5 Model theory of modal logic Original Research Article
Pages 249-329
Valentin Goranko, Martin Otto
6 Algebras and coalgebras Original Research Article
Pages 331-426
Yde Venema
7 Modal decision problems Original Research Article
Pages 427-489
Frank Wolter, Michael Zakharyaschev
8 Modal consequence relations Original Research Article
Pages 491-545
Marcus Kracht
9 First-order modal logic Original Research Article
Pages 549-620
Torben Braüner, Silvio Ghilardi
10 Higher order modal logic Original Research Article
Pages 621-653
Reinhard Muskens
11 Temporal logic Original Research Article
Pages 655-720
Ian Hodkinson, Mark Reynolds
12 Modal mu-calculi Original Research Article
Pages 721-756
Julian Bradfield, Colin Stirling
13 Description logic Original Research Article
Pages 757-819
Franz Baader, Carsten Lutz
14 Hybrid logics Original Research Article
Pages 821-868
Carlos Areces, Balder ten Cate
15 Combining modal logics Original Research Article
Pages 869-924
Agi Kurucz
16 Modal logic in mathematics Original Research Article
Pages 927-969
Sergei Artemov
17 Automata-theoretic techniques for temporal reasoning Original Research Article
Pages 971-989
Moshe Y. Vardi
18 Intelligent agents and common sense reasoning Original Research Article
Pages 991-1029
John-Jules Meyer, Frank Veltman
19 Applications of modal logic in linguistics Original Research Article
Pages 1031-1076
Lawrence S. Moss, Hans-Jörg Tiede
20 Modal logic for games and information Original Research Article
Pages 1077-1148
Wiebe van der Hoek, Marc Pauly
21 Modal logic and philosophy Original Research Article
Pages 1149-1214
Sten Lindström, Krister Segerberg
Index
Pages 1215-1231