129
click to vote
STACS
2007
Springer
16 years 23 days ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of