Assertion: propositional logic | /r/CapableOf | extend first-order logic
Facets:
value: by adding the closure
type: MANNER
Source sentences:
text: Fixpoint logic extends first-order logic by adding the closure under the least fixed points of positive operators.