A coalgebraic perspective on monotone modal logic (2004)

by H Hansen, C Kupke
Venue:In CMCS’04, ENTCS 106