Description
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:ModalLogic |
| Local Identifier | ModalLogic |
| Publication Status | Exists in ontology only |