Logics for Concurrency