Institute of Information Science Academia Sinica
講 題: A Cook's Tour of Coalgebraic Modal Logic
講 者: 陳亮廷 博士 (University of Hawaii at Mānoa)
時 間: 2017-01-11 (Wed) 15:30 – 17:30
地 點: 資訊所新館107演講廳
邀請人: 廖純中

Coalgebraic modal logic stems from the seminal paper by Larry Moss where variants of modal logic are uniformly derived for corresponding classes of coalgebras, but it has an unusual syntax and infinitary connectives. Lately, other coalgebraic modal logics have been proposed to mitigate the discrepancy, and nowadays the mainstream formulation employs Stone-type duality to derive coalgebraic modalities, namely, predicate liftings. In this way, many modal logics can be recovered exactly from a choice of predicate liftings, e.g.,(labelled) modal logic, probabilistic modal logic, coalition logic, conditional logic, graded modal logic, etc. In this talk, I will introduce coalgebraic modal logic from the perspective of predicate liftings with examples towards the interplay between coalgebras and algebras.