modal logic
English Thesaurus
1. a system of logic whose formal properties resemble certain moral and epistemological concepts (noun.cognition)
| hypernym | : | formal logic, mathematical logic, symbolic logic, |
| definition | : | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition) |
| hyponym | : | alethic logic, |
| definition | : | the modal logic of necessity and possibility and contingency (noun.cognition) |
| hyponym | : | deontic logic, |
| definition | : | the modal logic of obligation and permissibility (noun.cognition) |
| hyponym | : | epistemic logic, |
| definition | : | the modal logic of knowledge and uncertainty and ignorance (noun.cognition) |
| hyponym | : | doxastic logic, |
| definition | : | the modal logic of belief and disbelief (noun.cognition) |
2. the logical study of necessity and possibility (noun.cognition)
| hypernym | : | logic, |
| definition | : | the branch of philosophy that analyzes inference (noun.cognition) |
Visual ArtiKata
Explore modal logic in ArtiKata.com >