Institute of Information Science Academia Sinica
Topic: A Cook's Tour of Coalgebraic Modal Logic
Speaker: Dr. Liang-Ting Chen (University of Hawaii at Mānoa)
Date: 2017-01-11 (Wed) 15:30 – 17:30
Location: Auditorium 107 at IIS new Building
Host: Churn-Jung Liau


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.