Doxastic logic
Doxastic logic is a type of logic concerned with reasoning about beliefs.
The term doxastic derives from the Ancient Greek δόξα, from which the English term doxa is also borrowed. Typically, a doxastic logic uses the notation to mean "It is... Wikipedia