Higher-order logics