Admissibility of Cut in Coalgebraic Logics

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 CKId .

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Dirk Pattinson, Lutz Schröder
• Keywords: ENTCS 2008, Interpolation Property, Propositional Modal Logics, Sequent Calculi