جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
The Monodic Fragment of Propositional Term Modal Logic
نویسنده:
سال انتشار: p2019
تعداد صفحات: 25
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

افزودن به سبد دانلود

10.1007/s11225-018-9784-x

Abstract --- We study term modal logics, where modalities can be indexed by variables that can be quantified over. We suggest that these logics are appropriate for reasoning about systems of unboundedly many reasoners and define a notion of bisimulation which preserves propositional fragment of term modal logics. Also we show that the propositional fragment is already undecidable but that its monodic fragment (formulas using only one free variable in the scope of a modality) is decidable, and expressive enough to include interesting assertions


دانلود مقاله قطعه انحصارگرا منطق مودال شرایط گزاره ای , دانلود مقاله , قطعه انحصارگرا منطق مودال شرایط گزاره ای , The Monodic Fragment of Propositional Term Modal Logic
مقالات علمی

نام و نام خانوادگی:
متن:
تصویر:

نظرات و پیشنهادات

عضویت در سایت

پشتیبانی آنلاین

نام و نام خانوادگی:
پست الکترونیک:
متن:

نام کاربری:
کلمه عبور:
کلمه عبور را بخاطر بسپار
کلمه عبور خود را فراموش کرده ام
عضویت در سایت

نام و نام خانوادگی:
پست الکترونیک:
شماره موبایل:
گفتگو با:


کتاب دانلود : دانلود کتاب های علمی و دانشگاهی روز دنیا. هرگونه کپی برداری از محتوا، قالب، و طرح های به کار رفته در این سایت شرعا و قانونا ممنوع می باشد، و پیگرد قانونی دارد.