Rank-1 modal logics are coalgebraic (2007)

by Lutz Schröder , Dirk Pattinson
Venue:IN STACS 2007, 24TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, PROCEEDINGS
Citations:14 - 11 self