کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4952072 | 1442004 | 2017 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On a graph calculus for modalities
ترجمه فارسی عنوان
بر روی یک حساب گراف برای روشها
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق مودال، حساب گراف، معناشناسی کریپک، شرایط ویژه، فریم ها،
ترجمه چکیده
ما یک حساب گرافیکی صحیح و کامل برای روش ها ارائه می دهیم. این محاسبات یک چارچوب کلی برای بیان فرمول های مودال و خواص قاب است، با یک مجموعه غنی از روابط و استدلال در مورد آنها به صورت یکنواخت. محاسبات تفسیرهای گرافیکی از اپراتورهای منطقی را انجام می دهد و اشیای گرافیکی را ایجاد می کند که شرایط را در ساختارهای کریپیک نشان می دهند.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a sound and complete graph calculus for modalities. This calculus is a general framework for expressing modal formulas and frame properties, with a rich repertoire of relations, and reasoning about them in a uniform manner. The calculus employs graphical interpretations of logical operators and builds graphical objects that represent conditions on Kripke structures.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 685, 15 July 2017, Pages 83-103
Journal: Theoretical Computer Science - Volume 685, 15 July 2017, Pages 83-103
نویسندگان
Paulo A.S. Veloso, Sheila R.M. Veloso, Mario R.F. Benevides,