doxastic logic 1noundomain: thinkingPrinceton WordNet [ver.3.1]EnglishDefinitionthe modal logic of belief and disbeliefReport errorPath to highest hypernymMorphologySynset graph