کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778174 1633431 2017 28 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On non-self-referential fragments of modal logics
ترجمه فارسی عنوان
بر روی قطعات غیر خود ارجاعی از منطق مودال
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
Justification logics serve as “explicit” modal logics in a way that, formula ϕ is a modal theorem if and only if there is a justification theorem, called a realization of ϕ, gained by replacing modality occurrences in ϕ by (justification) terms with structures explicitly explaining their evidential contents. In justification logics, terms stand for justifications of (propositions expressed by) formulas, and as a kind of atomic terms, constants stand for that of (justification) axioms. Kuznets has shown that in order to realize (i.e., offer a realization of) some modal theorems, it is necessary to employ a self-referential constant, that is, a constant that stands for a justification of an axiom containing an occurrence of the constant itself. Based on existing works, including some of the author's, this paper treats the collection of modal theorems that are non-self-referentially realizable as a fragment (called non-self-referential fragment) of the modal logic, and verifies: (1) that fragment is not closed in general under modus ponens; and (2) that fragment is not “conservative” in general when going from a smaller modal logic to a larger one.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 4, April 2017, Pages 776-803
نویسندگان
,