Doxastic logic
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means "belief." Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set <math>\mathbb{B}</math> denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator.
[edit]
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Doxastic logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.