کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662878 1345202 2016 14 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Intuitionistic common knowledge or belief
ترجمه فارسی عنوان
دانش مشترک شهودی یا باور
کلمات کلیدی
دانش مشترک؛ منطق موجهات شهودی؛ مدل های متعارف
Common knowledge; Intuitionistic modal logic; Canonical models
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents' knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 18, November 2016, Pages 150–163
نویسندگان
, ,