Publisher
Springer International Publishing
Reference46 articles.
1. Cîrstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54, 31–41 (2011)
2. Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. TCS 412(38), 5070–5094 (2011)
3. Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249, 3–80 (2000)
4. Gumm, H.P., Schröder, T.: Covarieties and complete covarieties. Theor. Comput. Sci. 260(1–2), 71–86 (2001)
5. Kurz, A.: A co-variety-theorem for modal logic. In: Advances in Modal Logic, vol. 2, CSLI (2001). Selected Papers from AiML 2, Uppsala, 1998