Admissibility of Cut in Coalgebraic Logics
Dirk Pattinson, Lutz Schröder · Electronic Notes in Theoretical Computer Science · 2008
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.