Doxastic logic
Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic derives from the Ancient Greek δόξα (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed.