Modal Epistemic and Doxastic Logic