La
lógica doxástica (del
griego antiguo δόξα,
doxa, "creencia") es una
lógica modal que se ocupa del
razonamiento acerca de las
creencias. Típicamente, una lógica doxástica utiliza la expresión para significar "el razonador
c cree que
p es verdadero", y el conjunto se refiere al conjunto de creencias de
c.