A new coalgebraic Lindström theorem
(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:
https://lup.lub.lu.se/record/4537031
- author
- Enqvist, Sebastian LU
- organization
- publishing date
- 2016
- 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}}, }