Logical Predicates in Higher-order Mathematical Operational Semantics FoSSaCS’24, Luxembourg City (Slides)