Assertion: order logic | /r/CapableOf | simulate higher-order logics
Facets:
value: in the sense
type: OTHER
Source sentences:
text: Using this observation, Jaakko Hintikka established in 1955 that second-order logic can simulate higher-order logics in the sense that for every formula of a higher order-logic one can find an equisatisfiable formula for it in second-order logic.