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

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Dirk Pattinson, Lutz Schröder
Editor: J. Adamek, C. Kupke
Title: Admissibility of Cut in Coalgebraic Logics
Book / Collection title: Coalgebraic Methods in Computer Science (CMCS 08)
Volume: 203
Page(s): 221 – 241
Series: Electronic Notes in Theoretical Computer Science
Year published: 2008
Publisher: Elsevier, Amsterdam
Abstract: 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
Keywords: Coalgebra modal logic cut elimination conditional logic coalition logic
Status: Reviewed
Last updated: 18. 06. 2008

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