Description
Temporal logic addresses the semantics of tense; i.e., qualifying expressions of when.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:TemporalLogic |
| Local Identifier | TemporalLogic |
| Publication Status | Exists in ontology only |
Temporal logic addresses the semantics of tense; i.e., qualifying expressions of when.
| Framework | MITRE D3FEND |
| Ontology URI | d3f:TemporalLogic |
| Local Identifier | TemporalLogic |
| Publication Status | Exists in ontology only |