modal logic vs formal logic
formal logic vs modal logicmodal logic and formal logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| modal logic | Yes | No | No | No |
| formal logic | Yes | No | No | No |
As nouns,
formal logic is a hypernym of
modal logic; that is, formal 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
- formal 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
mathematical logic, symbolic logic.
| modal logic (noun) | formal 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.