Sciweavers

Share
ENTCS
2007

Coalgebraic Modal Logic Beyond Sets

8 years 11 months ago
Coalgebraic Modal Logic Beyond Sets
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.
Bartek Klin
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Bartek Klin
Comments (0)
books