Text this: Expressive Logics for Coinductive Predicates