Expressivity of coalgebraic modal logic: The limits and beyond

Lutz Schröder. Expressivity of coalgebraic modal logic: The limits and beyond. Theoretical Computer Science, 390(2-3):230-247, 2008. [doi]

Abstract

Abstract is missing.