A new coalgebraic Lindstrom theorem

作者：Enqvist Sebastian^*

来源：Journal of Logic and Computation, 2016, 26(5): 1541-1566.

DOI：10.1093/logcom/exu045

• Coalgebra
• modal logic
• abstract model theory
• Lindstrom's theorem

In a recent article, Alexander Kurz and Yde Venema establish a Lindstrom theorem for coalgebraic modal logic that is shown to imply a modal Lindstrom theorem by Maarten de Rijke. A later modal Lindstrom theorem has been established by Johan van Benthem, and this result still lacks a coalgebraic formulation. The main obstacle has so far been the lack of a suitable notion of 'submodels' in coalgebraic semantics, and the problem is left open by Kurz and Venema. In this article, we propose a solution to this problem and derive a general coalgebraic Lindstrom theorem along the lines of van Benthem's result. We provide several applications of the result.

• 出版日期2016-10