Expressivity of many-valued coalgebraic logics

Matěj Dostál

The theory of coalgebras has been used extensively to study various generalisations of standard modal logic. We have used the coalgebraic machinery to study the expressivity of many-valued modal logics. This approach lets us recover some known results on expressivity and make them parametric in the type of 'Kripke frames': some examples include probabilistic Kripke frames or Kripke frames with a many-valued accessibility relation.