Some Doxastic \L ukasiewicz Logic
Logic in Computer Science
2023-12-12 v4 Artificial Intelligence
Logic
Abstract
We propose a doxastic \L ukasiewicz logic \textbf{B\L} 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 \textbf{B\L} corresponding to axioms \textbf{D}, \textbf{4}, and \textbf{T} of classical epistemic logic. Furthermore, completeness of these extensions are established corresponding to the appropriate classes of models.
Cite
@article{arxiv.2111.08564,
title = {Some Doxastic \L ukasiewicz Logic},
author = {Doratossadat Dastgheib and Hadi Farahani},
journal= {arXiv preprint arXiv:2111.08564},
year = {2023}
}