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 CKId.
Original language | English |
---|---|
Pages (from-to) | 221-241 |
Number of pages | 21 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 203 |
Issue number | 5 |
DOIs | |
Publication status | Published - 12 Jun 2008 |
Externally published | Yes |