Sciweavers

Share
ENTCS
2007
151views more  ENTCS 2007»
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 logi...
Bartek Klin
books