| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423430 | Electronic Notes in Theoretical Computer Science | 2008 | 21 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
