Some Sahlqvist Completeness Results for Coalgebraic Logics.

Fredrik Dahlqvist, Dirk Pattinson

Browse the full FOSSACS paper archive.