Modal Logics are Coalgebraic

Alexander Kurz, Chapman University

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