doxastic_logic
1. [ noun ] (mathematics,logic) the modal logic of belief and disbelief
Related terms: modal_logic