کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662929 1345211 2014 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Propositional dynamic logic for searching games with errors
ترجمه فارسی عنوان
منطق پویا گزاره ای برای جستجو بازی ها همراه با اشتباهات
کلمات کلیدی
منطق پویا گزاره ای؛ منطق ارزش بسیار ؛ منطق Ł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
نویسندگان
,