中央研究院 資訊科學研究所

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.