Modal Logic Characterization of Markovian Testing and Trace Equivalences