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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Dirk Pattinson, Lutz Schröder
Herausgeber: J. Adamek, C. Kupke
Titel: Admissibility of Cut in Coalgebraic Logics
Buch / Sammlungs-Titel: Coalgebraic Methods in Computer Science (CMCS 08)
Band: 203
Seite(n): 221 – 241
Serie / Reihe: Electronic Notes in Theoretical Computer Science
Erscheinungsjahr: 2008
Verleger: Elsevier, Amsterdam
Abstract / Kurzbeschreibung: We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of the (already known) interpolation property for coalition logic and establish the interpolation property for the conditional logics CK and CK+ID.
Internet: http://dx.doi.org/10.1016/j.entcs.2008.05.027
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/cut.pdf
Schlagworte: Coalgebra modal logic cut elimination conditional logic coalition logic
Status: Reviewed
Letzte Aktualisierung: 18. 06. 2008

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