The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

A new coalgebraic Lindström theorem

På svenska

Author

  • Sebastian Enqvist

Summary, in English

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.

Publishing year

2016

Language

English

Pages

1541-1566

Publication/Series

Journal of Logic and Computation

Volume

26

Issue

5

Document type

Journal article

Publisher

Oxford University Press

Topic

  • Philosophy

Keywords

  • Coalgebra
  • modal logic
  • abstract model theory
  • Lindström's theorem

Status

Published

ISBN/ISSN/Other

  • ISSN: 0955-792X