پديدآورندگان :
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
چكيده فارسي :
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.
