Description
Higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
Technical Details
| Framework | MITRE D3FEND |
| Ontology URI | d3f:Higher-orderLogic |
| Local Identifier | Higher-orderLogic |
| Publication Status | Exists in ontology only |
Relationships
Parent Tactics
- Model Model