A new coalgebraic Lindström theorem

Research output: Contribution to journalArticle

Standard

A new coalgebraic Lindström theorem. / Enqvist, Sebastian.

In: Journal of Logic and Computation, Vol. 26, No. 5, 2016, p. 1541-1566.

Research output: Contribution to journalArticle

Harvard

APA

CBE

MLA

Vancouver

Author

Enqvist, Sebastian. / A new coalgebraic Lindström theorem. In: Journal of Logic and Computation. 2016 ; Vol. 26, No. 5. pp. 1541-1566.

RIS

TY - JOUR

T1 - A new coalgebraic Lindström theorem

AU - Enqvist, Sebastian

PY - 2016

Y1 - 2016

N2 - In a recent article, Alexander Kurz and Yde Venema establish a Lindström theorem for coalgebraic modal logic that is shown to imply a modal Lindström theorem by Maarten de Rijke. A later modal Lindström 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 Lindström theorem along the lines of van Benthem's result. We provide several applications of the result.

AB - In a recent article, Alexander Kurz and Yde Venema establish a Lindström theorem for coalgebraic modal logic that is shown to imply a modal Lindström theorem by Maarten de Rijke. A later modal Lindström 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 Lindström theorem along the lines of van Benthem's result. We provide several applications of the result.

KW - Coalgebra

KW - modal logic

KW - abstract model theory

KW - Lindström's theorem

U2 - 10.1093/logcom/exu045

DO - 10.1093/logcom/exu045

M3 - Article

VL - 26

SP - 1541

EP - 1566

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 5

ER -