An institution of modal logics for coalgebras

This paper presents a modular framework for the specication of certain inductively-dened coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M. Riger, Coalgebras and modal logic, in: H. Reichel (Ed.), Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, v..