Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article
Author: Lutz Schröder, Dirk Pattinson
Title: Rank-1 modal logics are coalgebraic
Volume: 20
Page(s): 1113 – 1147
Journal: Journal of Logic and Computation
Number: 5
Year published: 2010
Abstract: Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of coalgebras for an endofunctor can always be axiomatised in rank 1. Here we establish the converse, i.e. every rank 1 modal logic has a sound and strongly complete coalgebraic semantics. This is achieved by constructing for a given modal logic a canonical coalgebraic semantics, consisting of a signature functor and interpretations of modal operators, which turns out to be final among all such structures. The canonical semantics may be seen as a coalgebraic reconstruction of neighbourhood semantics, broadly construed. A finitary restriction of the canonical semantics yields a canonical weakly complete semantics which moreover enjoys the Hennessy-Milner property.

As a consequence, the machinery of coalgebraic modal logic, in particular generic decision procedures and upper complexity bounds, becomes applicable to arbitrary rank 1 modal logics, without regard to their semantic status; we thus obtain purely syntactic versions of such results. As an extended example, we apply our framework to recently defined deontic logics. In particular, our methods lead to the new result that these logics are strongly complete.
Internet: http://logcom.oxfordjournals.org/content/20/5/1113.abstract
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/rank1coalg-ext.pdf
Keywords: Modal logic coalgebra neighbourhood frames deontic logic decision procedures
Note / Comment: Extends (Schröder and Pattinson STACS 2007)
Status: Reviewed
Last updated: 19. 10. 2010

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum