On a purely categorical framework for coalgebraic modal logic

Liang-Ting Chen. On a purely categorical framework for coalgebraic modal logic. PhD thesis, University of Birmingham, UK, 2014. [doi]

Abstract

Abstract is missing.