La logique doxastique est un type de logique modale qui s'intéresse au raisonnement sur les croyances.