Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Lutz Schröder, Dirk Pattinson
Herausgeber: Wolfgang Thomas, Pascal Weil
Titel: Rank-1 Modal Logics are Coalgebraic
Buch / Sammlungs-Titel: International Symposium on Theoretical Aspects of Computer Science (STACS 07)
Band: 4393
Seite(n): 573 – 585
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2007
Verleger: Springer
Abstract / Kurzbeschreibung: 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. As a consequence, recent results on coalgebraic modal logic, in particular generic decision procedures and upper complexity bounds, become applicable to arbitrary rank 1 modal logics, without regard to their semantic status; we thus obtain purely syntactic versions of these results. As an extended example, we apply our framework to recently defined deontic logics.

Internet: http://dx.doi.org/10.1007/978-3-540-70918-3_49
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/rank1coalg.pdf
Schlagworte: semantics deduction decidability complexity modal logic coalgebra
Anmerkung / Hinweis: Extended version available
Status: Reviewed
Letzte Aktualisierung: 20. 02. 2009

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum