شماره ركورد كنفرانس
4035
عنوان مقاله
A FUZZY EPISTEMIC LOGIC
پديدآورندگان
SHARAFI A. H. am.hossein.am@gmail.com Department of Mathematics, Shahid Beheshti University, G.C, Tehran, Iran , BORZOOEI R. A. Borzooei@sbu.ac.ir Department of Mathematics, Shahid Beheshti University, G.C, Tehran, Iran , FARAHANI H. h−farahani@sbu.ac.ir Department of Computer Science, Shahid Beheshti University, G.C, Tehran, Iran
تعداد صفحه
4
كليدواژه
Fuzzy , Epistemic Logic , G¨odel Logic.
سال انتشار
1395
عنوان كنفرانس
اولين دوره همايش بين المللي رياضيات فازي
زبان مدرك
انگليسي
چكيده فارسي
In this paper, a fuzzy version of propositional epistemic
logic is presented. Syntax and semantics are exposed in a
way that the proof system of this logic is similar to one of the
basic epistemic logics, which is called T. In order to show the
in-correctness of some propositions in this logic, the convertible
parameters of a given example are applied. Finally, it is claimed
that the soundness and completeness theorems hold for this logic.
كشور
ايران
لينک به اين مدرک