2021/11/04 by Dastgheib, Doratossadat, Farahani, Hadi
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
paper · doi:10.48550/arxiv.2111.08564
We propose a doxastic Łukasiewicz logic BŁ that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relations are both infinitely valued in the standard MV-algebra [0,1]. We also introduce some extensions of BŁ corresponding to axioms D, 4, and T of classical epistemic logic. Furthermore, completeness of these extensions are established corresponding to the appropriate classes of models.