Logical Predicates in Higher-order Mathematical Operational Semanticss WG6 Leuven (Abstract - Slides - Video)