Definitions of doxastic logic:

  • noun:   the modal logic of belief and disbelief