@article{5599,
  title = "Coalgebraic semantics of modal logics: An overview",
  author = "Clemens Kupke and Dirk Pattinson",
  year = "2011",
  journal = "Theoretical Computer Science",
  number = "38",
  pages = "5070--5094",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0304397511003215",
  volume = "412",
}