Coalgebraic semantics of modal logics: An overview
Clemens Kupke and Dirk Pattinson
Journal
Theoretical Computer Science
Number
38
Pages
5070–5094
Publisher
Elsevier
Volume
412
Year
2011
Clemens Kupke and Dirk Pattinson