Coalgebraic Modal Logic Beyond Sets
Bartek Klin · Electronic Notes in Theoretical Computer Science · 2007
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logics for their coalgebras. Examples include typical functors used to describe systems with name binding, interpreted in nominal sets.