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