Journal of Logic and Computation 26 (5):1541-1566 (2016)

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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1093/logcom/exu045
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

A New Modal Lindström Theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
Expressive Logics for Coalgebras Via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
A New Modal Lindstrom Theorem.Finite Depth Property - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 55.
Logic and Abstraction: Essays Dedicated to Per Lindström on His Fiftieth Birthday.Mats Furberg, Thomas Wetterström & Claes Åberg (eds.) - 1986 - Göteborg, Sweden and Atlantic Highlands, NJ: Acta Universitatis Gothoburgensis.
Completeness for Μ-Calculi: A Coalgebraic Approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
Proof Systems for the Coalgebraic Cover Modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 2008 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 1-21.

Analytics

Added to PP index
2020-01-13

Total views
1 ( #1,552,539 of 2,519,513 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,513 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes