[PPT] - Coalgebraic Logics: A Computer Science Perspective Dirk Pattinson, PowerPoint Presentation