دانلود کتاب Advances in modal logic (به فارسی: پیشرفت در منطق مودال) نوشته شده توسط «Frank Wolter – Heinrich Wansing – Maarten De Rijke – Michael Zakharyaschev»
اطلاعات کتاب پیشرفت در منطق مودال
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: World Scientific Publishing Company
نویسنده: Frank Wolter – Heinrich Wansing – Maarten De Rijke – Michael Zakharyaschev
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 415
حجم کتاب: 3 مگابایت
کد کتاب: 9812381791 , 9789812381798
توضیحات کتاب پیشرفت در منطق مودال
Advances in Modal Logic یک انجمن منحصر به فرد برای ارائه آخرین نتایج و جهت گیری های جدید تحقیق در منطق مدال به طور گسترده است. موضوعاتی که به آنها پرداخته می شود دارای علاقه بین رشته ای هستند و از مسائل ریاضی، محاسباتی و فلسفی تا کاربرد در بازنمایی دانش و زبان شناسی رسمی را شامل می شود.
جلد 3 پیشرفت های قابل توجهی را در نظریه مدل رابطه ای و درمان الگوریتمی منطق های مودال ارائه می دهد. این شامل مقالات دعوت شده و ارائه شده از سومین کنفرانس در مورد “پیشرفت در منطق مدال” است که در دانشگاه لایپزیگ (آلمان) در اکتبر 2000 برگزار شد. این شامل مقالاتی در مورد منطق پویا، منطق توصیف، منطق ترکیبی، منطق معرفتی، ترکیبی از روش‌های مدال است. منطق، منطق زمان، منطق عمل، منطق اثبات پذیری، و منطق محمول وجهی.
Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on “Advances in Modal Logic”, held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic.
دانلود کتاب «پیشرفت در منطق مودال»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.