کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
431081 | 1441280 | 2008 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Canonical completeness of infinitary μ
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This paper presents a new model construction for a natural cut-free infinitary version of the propositional modal μ-calculus. Based on that the completeness of and the related system Kω(μ) can be established directly – no detour, for example through automata theory, is needed. As a side result we also obtain a finite, cut-free sound and complete system for the propositional modal μ-calculus.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 76, Issue 2, July–August 2008, Pages 270-292
Journal: The Journal of Logic and Algebraic Programming - Volume 76, Issue 2, July–August 2008, Pages 270-292