کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661617 1344849 2016 34 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Modal logics, justification logics, and realization
ترجمه فارسی عنوان
منطق موجهات، منطق توجیه و تحقق
کلمات کلیدی
منطق توجیه؛ منطق موجهات؛ تحقق
03A99; 03B45; 03B53; 03B60Justification logic; Modal logic; Realization
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

Justification logics connect with modal logics, replacing unstructured modal operators with justification terms explicitly representing interdependence and flow of reasoning. The number of justification logics quickly grew from an initial single instance to a handful to about a dozen examples. In this paper we provide very general, though partly non-constructive, methods that cover all previous examples, and extend to an infinite family of modal logics. The full range of the phenomenon is not known. The extent to which constructive methods apply is also not known, but it is related to the availability of cut-free proof methods for modal logics.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 8, August 2016, Pages 615–648
نویسندگان
,