Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

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
2016-04-01 10:20:19
date last changed
2022-03-04 18:35:03
@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}},
  keywords     = {{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}},
  doi          = {{10.1093/logcom/exu045}},
  volume       = {{26}},
  year         = {{2016}},
}