Doxastic-logic Definition

noun

(logic) A type of modal logic which deals with statements involving beliefs.

Wiktionary