We present a systematic approach to logical predicates based on universal coalgebra and
higher-order abstract GSOS, thus making a first step towards a unifying theory of logical …