Email Post: Expressive Logics for Coinductive Predicates