A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic (Logical Methods in Computer Science, 2021)