Text this: Logical characterization of bisimulation for transition relations over probability distributions with internal actions