Text this: A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic