(n)doxastic logicthe modal logic of belief and disbelief