Search results
Results: 3
Number of items: 3
-
Kupke, C., Kurz, A., & Venema, Y. (2012). Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8(3), Article 2. https://doi.org/10.2168/LMCS-8(3:2)2012 -
Cirstea, C., Kurz, A., Pattinson, D., Schröder, L., & Venema, Y. (2011). Modal logics are coalgebraic. Computer Journal, 54(1), 31-41. https://doi.org/10.1093/comjnl/bxp004
-
Kurz, A., & Venema, Y. (2010). Coalgebraic Lindström Theorems. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic: AiML 8 (pp. 292-309). College Publications. http://www.aiml.net/volumes/volume8/Kurz-Venema.pdf
Page of