[PPT] - A Semantic PSPACE Criterion for Coalgebraic Modal Logic Lutz Schr PowerPoint Presentation