Text this: Logics for Concurrency