Expressivity Results in the Modal Logic of Coalgebras (2001)

by D Pattinson