کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434776 1441623 2016 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Proof theory for hybrid(ised) logics
ترجمه فارسی عنوان
تئوری اثبات منطق هیبریدی (ایزدی)
کلمات کلیدی
منطق ترکیبی، تصمیم گیری، تکمیل سیستم تابلو فرش، محاسبات هیلبرت
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی


• Decidability results for hybrid(ised) logics.
• Generation of Hilbert calculi for hybrid(ised) logics.
• Generation of Tableau systems for hybrid(ised) logics.

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a series of papers this process has been detailed and taken as a basis for a specification methodology for reconfigurable systems. The present paper extends this work by showing how a proof calculus (in both a Hilbert and a tableau based format) for the hybridised version of a logic can be systematically generated from a proof calculus for the latter. Such developments provide the basis for a complete proof theory for hybrid(ised) logics, and thus pave the way to the development of (dedicated) proof support.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 126, 15 September 2016, Pages 73–93
نویسندگان
, , , ,