modal logic vs mathematical logic
mathematical logic vs modal logicmodal logic and mathematical logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| modal logic | Yes | No | No | No |
| mathematical logic | Yes | No | No | No |
As nouns,
mathematical logic is a hypernym of
modal logic; that is, mathematical logic is a
word with a broader meaning than modal logic:
- modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
- mathematical logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Other hypernyms of modal logic include
formal logic, symbolic logic.
| modal logic (noun) | mathematical logic (noun) |
|---|---|
| the logical study of necessity and possibility | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
| a system of logic whose formal properties resemble certain moral and epistemological concepts |
Words related to "modal logic"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.