Modal Logics are Coalgebraic
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in The Computer Journal following peer review. The definitive publisher-authenticated version
C. Cirstea, A. Kurz, D. Pattinson, L. Schroder, and Y. Venema, “Modal Logics are Coalgebraic,” The Computer Journal, vol. 54, no. 1, pp. 31–41, Jan. 2011.
is available online at DOI: 10.1093/comjnl/bxp004
Abstract
This paper has been withdrawn.