Ang doxastic logic ay isang sangay ng modal logic na tumatalakay sa pormal na representasyon ng pangangatwiran tungkol sa mga paniniwala. Sinasaliksik nito ang lohika ng paniniwala at ang kaugnayan sa pagitan ng paniniwala at kaalaman. Sa doxastic logic, ang iba't ibang modal operator ay ginagamit upang kumatawan sa iba't ibang mga saloobin sa paniniwala, tulad ng "pinaniniwalaan na" o "ito ay pinagdududahan na". Ang terminong "doxastic" ay nagmula sa salitang Griyego na "doxa", na nangangahulugang "paniniwala" o "opinyon".