Positive Hennessy-Milner Logic for Branching Bisimulation (Logical Methods in Computer Science, 2025)