doxastic logic

noun1

1. •
   A type of modal logic which deals with statements involving beliefs.