Lutz Schröder Dirk Pattinson Strong Completeness of Coalgebraic Modal Logics. 673-684 2009 STACS http://drops.dagstuhl.de/opus/volltexte/2009/1855 conf/stacs/2009 db/conf/stacs/stacs2009.html#SchroderP09