"doxastic logic"@en-us . .