Institute of Information Science, Academia Sinica



Press Ctrl+P to print from browser


A Cook's Tour of Coalgebraic Modal Logic

  • LecturerDr. Liang-Ting Chen (University of Hawaii at Mānoa)
    Host: Churn-Jung Liau
  • Time2017-01-11 (Wed.) 15:30 – 17:30
  • LocationAuditorium 107 at IIS new Building

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.