predicate logic

The broad set of formal logic systems based on quantifiers, underpins much of the field of ontology; see also first-order logic, description logics.

Comments are closed.