Paul Alper points us to this mathematical framework that I’d never heard about. From the wikipedia page: Doxastic logic is a type of logic concerned with reasoning about beliefs. . . . There is complete parallelism between a person who …