# Some Doxastic L ukasiewicz Logic

arXiv: https://arxiv.org/abs/2111.08564 · HTML: https://mlsanity.com/paper/2111.08564/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 0 of its 22 references that are in the map.
- First posted on arXiv 4 Nov 2021.

## Abstract (arXiv)

We propose a doxastic L ukasiewicz logic BL 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 BL 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.