Skip to main content

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