711 search results - page 10 / 143 » Modal Logics are Coalgebraic |
LOGCOM
2010
14 years 8 months ago
2010
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
Goldblatt and Thomason’s theorem on modally definable classes of Kripke frames and Venema’s theorem on modally definable classes of Kripke models are generalised to coalgebra...
103
click to vote
AIML
2008
14 years 11 months ago
2008
We give a sound and complete derivation system for the valid formulas in the finitary version of Moss' coalgebraic logic, for coalgebras of arbitrary type.
116
click to vote
IANDC
2010
14 years 7 months ago
2010
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently,...
ACS
2008
14 years 10 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...