Hyperonyms
(has_hyperonym)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Hyponyms
(has_hyponym)
|
06166046-n:
the modal logic of necessity and possibility and contingency
|
Hyponyms
(has_hyponym)
|
06166166-n:
the modal logic of obligation and permissibility
|
Hyponyms
(has_hyponym)
|
06166274-n:
the modal logic of knowledge and uncertainty and ignorance
|
Hyponyms
(has_hyponym)
|
06166394-n:
the modal logic of belief and disbelief
|
Glosses
(gloss)
|
01430628-a:
logically deductive
|
Glosses
(gloss)
|
02665282-v:
appear like; be similar or bear a likeness to
|
Glosses
(gloss)
|
02850132-a:
of or relating to epistemology
|
Glosses
(gloss)
|
05664069-n:
a system of reasoning
|
Glosses
(gloss)
|
05835747-n:
an abstract or general idea inferred or derived from specific instances
|
Glosses
(rgloss)
|
06166046-n:
the modal logic of necessity and possibility and contingency
|
Glosses
(rgloss)
|
06166166-n:
the modal logic of obligation and permissibility
|
Glosses
(rgloss)
|
06166274-n:
the modal logic of knowledge and uncertainty and ignorance
|
Glosses
(rgloss)
|
06166394-n:
the modal logic of belief and disbelief
|
