Schröder, Pattinson, 2009. Strong Completeness of Coalgebraic Modal Logics.