کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661555 1344842 2017 40 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Labeled sequent calculus for justification logics
ترجمه فارسی عنوان
حساب مزدوج دارای برچسب برای استدلال‌های توجیهی
کلمات کلیدی
منطق توجیه؛ منطق موجهات؛ برازش مدل؛ حساب مزدوج دارای برچسب؛ تحلیلی
03B45; 03B60; 03B62; 03F05Justification logic; Modal logic; Fitting model; Labeled sequent calculus; Analyticity
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as well as for combined modal-justification logics. Using a method due to Sara Negri, we internalize the Kripke-style semantics of justification and modal-justification logics, known as Fitting models, within the syntax of the sequent calculus to produce labeled sequent calculi. We show that all rules of these systems are invertible and the structural rules (weakening and contraction) and the cut rule are admissible. Soundness and completeness are established as well. The analyticity for some of our labeled sequent calculi are shown by proving that they enjoy the subformula, sublabel and subterm properties. We also present an analytic labeled sequent calculus for S4LPNS4LPN based on Artemov–Fitting models.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 1, January 2017, Pages 72–111
نویسندگان
,