کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423430 685222 2008 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Admissibility of Cut in Coalgebraic Logics
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Admissibility of Cut in Coalgebraic Logics
چکیده انگلیسی

We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CKId.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 203, Issue 5, 12 June 2008, Pages 221-241