کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875913 | 690134 | 2016 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A logic of separating modalities
ترجمه فارسی عنوان
یک منطق تفکیک شرایط
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق پایه، منطق جداسازی، منطق مودال، معانی منابع، تابلو فرش، همبستگی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We present a logic of separating modalities, LSM, that is based on Boolean BI. LSM's modalities, which generalize those of S4, combine, within a quite general relational semantics, BI's resource semantics with modal accessibility. We provide a range of examples illustrating their use for modelling. We give a proof system based on a labelled tableaux calculus with countermodel extraction, establishing its soundness and completeness with respect to the semantics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 637, 18 July 2016, Pages 30-58
Journal: Theoretical Computer Science - Volume 637, 18 July 2016, Pages 30-58
نویسندگان
Jean-René Courtault, Didier Galmiche, David Pym,