Synset
a system of logic whose formal properties resemble certain moral and epistemological concepts
<noun.cognition>
modal logic
semantic pointers
hypernym
formal logic, symbolic logic, mathematical logic
hyponym
alethic logic
deontic logic
epistemic logic
doxastic logic