Text this: Qualitative Logics and Equivalences for Probabilistic Systems