Advanced

A new coalgebraic Lindström theorem

Enqvist, Sebastian LU (2016) In Journal of Logic and Computation 26(5). p.1541-1566
Abstract
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.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Coalgebra, modal logic, abstract model theory, Lindström's theorem
in
Journal of Logic and Computation
volume
26
issue
5
pages
1541 - 1566
publisher
Oxford University Press
external identifiers
  • scopus:84994888109
  • wos:000386155200007
ISSN
0955-792X
DOI
10.1093/logcom/exu045
language
English
LU publication?
yes
id
a33e8b84-ee5a-47b0-8899-c824518f5b37 (old id 4537031)
date added to LUP
2014-07-08 16:36:09
date last changed
2017-09-18 11:28:18
@article{a33e8b84-ee5a-47b0-8899-c824518f5b37,
  abstract     = {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.},
  author       = {Enqvist, Sebastian},
  issn         = {0955-792X},
  keyword      = {Coalgebra,modal logic,abstract model theory,Lindström's theorem},
  language     = {eng},
  number       = {5},
  pages        = {1541--1566},
  publisher    = {Oxford University Press},
  series       = {Journal of Logic and Computation},
  title        = {A new coalgebraic Lindström theorem},
  url          = {http://dx.doi.org/10.1093/logcom/exu045},
  volume       = {26},
  year         = {2016},
}