کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876103 | 690219 | 2015 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Algorithmic correspondence for intuitionistic modal mu-calculus
ترجمه فارسی عنوان
مکاتبات الگوریتمی برای محاسبه مودال شهودی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
In the present paper, the algorithmic correspondence theory developed in Conradie and Palmigiano [9] is extended to mu-calculi with a non-classical base. We focus in particular on the language of bi-intuitionistic modal mu-calculus. We enhance the algorithm ALBA introduced in Conradie and Palmigiano [9] so as to guarantee its success on the class of recursive mu-inequalities, which we introduce in this paper. Key to the soundness of this enhancement are the order-theoretic properties of the algebraic interpretation of the fixed point operators. We show that, when restricted to the Boolean setting, the recursive mu-inequalities coincide with the “Sahlqvist mu-formulas” defined in van Benthem, Bezhanishvili and Hodkinson [22].
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 564, 26 January 2015, Pages 30-62
Journal: Theoretical Computer Science - Volume 564, 26 January 2015, Pages 30-62
نویسندگان
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh,