Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

A new coalgebraic Lindström theorem

In English

Författare

  • 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.

Avdelning/ar

Publiceringsår

2016

Språk

Engelska

Sidor

1541-1566

Publikation/Tidskrift/Serie

Journal of Logic and Computation

Volym

26

Issue

5

Dokumenttyp

Artikel i tidskrift

Förlag

Oxford University Press

Ämne

  • Philosophy

Nyckelord

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

Status

Published

ISBN/ISSN/Övrigt

  • ISSN: 0955-792X