Doxastic Extensions of Łukasiewicz Logic

11/04/2021

∙

by   Doratossadat Dastgheib, et al.

∙

0

∙

share

We propose two new doxastic extensions of fuzzy Łukasiewicz logic in which their semantics are Kripke-based with both fuzzy atomic propositions and fuzzy accessibility relations. A class of these extensions is equipped with uninformed belief operator, and the other class is based on a new notion of skeptical belief. We model a fuzzy version of muddy children problem and a CPA-security experiment using uniformed belief and skeptical belief, respectively. Moreover, we prove soundness and completeness for both of these belief extensions.