کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4663065 | 1345224 | 2009 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Solving the $100 modal logic challenge
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We present the theoretical foundation, design, and implementation, of a system that automatically determines the subset relation between two given axiomatizations of propositional modal logics. This is an open problem for automated theorem proving. Our system solves all but six out of 121 instances formed from 11 common axiomatizations of seven modal logics. Thus, although the problem is undecidable in general, our approach is empirically successful in practically relevant situations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 7, Issue 1, March 2009, Pages 113–130
Journal: Journal of Applied Logic - Volume 7, Issue 1, March 2009, Pages 113–130
نویسندگان
Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen,