"Some Epistemic Extensions of G\""odel Fuzzy Logic"

arXiv1605.03828MaRDI QIDQ6504886FDOQ6504886

Authors: Doratossadat Dastgheib, Hadi Farahani, Amir Hossein Sharafi 

Abstract: In this paper, we introduce some epistemic extensions of G"odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold. We adopt belief as our epistemic operator, then justify that our semantics for belief is appropriate. Next we give a fuzzy version of traditional muddy children problem and use it to show that axioms of positive and negative introspections and Truth are not necessarily valid in our basic models. In the sequel, we propose a axiomatic system $K_F$ which is a fuzzy version of classical epistemic logic $K$. Next, we establish some other epistemic-fuzzy axiomatic systems $B_F,T_F,B_F^n$ and $T_F^n$, and prove that all these axiomatic systems are sound and complete with respect to the appropriate classes of Kripke-based models. Furthermore we prove that our logic does not enjoy finite model property.

This page was built for publication: "Some Epistemic Extensions of G\""odel Fuzzy Logic"

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504886)