second-order logics
English
Noun
second-order
logics
plural of
second-order logic