کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4663030 1345221 2010 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Justification logics and hybrid logics
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Justification logics and hybrid logics
چکیده انگلیسی

Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine these two ideas into a single system, and in this paper we make a start. We present a hybrid/justification version of the modal logic T. We give a semantics, a proof theory, and prove a completeness theorem. In addition, we prove a Realization Theorem, something that plays a central role for justification logics generally. Since justification logics are newer and less well known than hybrid logics, we sketch their background, and give pointers to their range of applicability. We conclude with suggestions for future research. Indeed, the main goal of this paper is to encourage others to continue the investigation begun here.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 8, Issue 4, December 2010, Pages 356–370
نویسندگان
,