modal logic 1noundomain: thinkingPrinceton WordNet [ver.3.1]EnglishDefinitionthe logical study of necessity and possibilityReport errorPath to highest hypernymMorphologySynset graph