La logica doxastica è la branca della logica modale che si occupa della credenza.[1] L'aggettivo doxastico presente nel nome deriva dal greco antico δόξα doxa “opinione”. In logica doxastica la credenza funziona convenzionalmente come un operatore logico. Alcuni famosi paradossi della filosofia di tradizione analitica, come il paradosso di Moore, si prestano ad essere formalizzati mediante questo tipo di logica. L'unione della logica doxastica e della logica epistemica costituisce la base per la logica epistemica dinamica.[2][3]