کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662929 | 1345211 | 2014 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Propositional dynamic logic for searching games with errors
ترجمه فارسی عنوان
منطق پویا گزاره ای برای جستجو بازی ها همراه با اشتباهات
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق پویا گزاره ای؛ منطق ارزش بسیار ؛ منطق Łukasiewicz؛ مدلهای کریپکی؛ MV جبری
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the n+1n+1-valued Kripke models and a corresponding language based on a modal extension of Łukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the Rényi–Ulam searching game with errors.Our main result is the axiomatization of the theory of the n+1n+1-valued Kripke models. This result is obtained through filtration of the canonical model of the smallest n+1n+1-valued propositional dynamic logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 377–394
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 377–394
نویسندگان
Bruno Teheux,