Title: Logics for Coalgebras and Applications to Computer Science