Coalgebraic semantics of modal logics: An overview (THEORETICAL COMPUTER SCIENCE, 2011)

(untitled) - Kupke, C; Pattinson, D