Doxastic modal logic explores the reasoning behind beliefs. It models how rational agents form and update their beliefs, providing a…