| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Dirk Pattinson, Lutz Schröder |
| Herausgeber: |
J. Adamek, C. Kupke |
| Titel: |
Admissibility of Cut in Coalgebraic Logics |
| Buch / Sammlungs-Titel: |
Coalgebraic Methods in Computer Science (CMCS 08) |
| Band: |
203 |
| Seite(n): |
221 – 241 |
| Serie / Reihe: |
Electronic Notes in Theoretical Computer Science |
| Erscheinungsjahr: |
2008 |
| Verleger: |
Elsevier, Amsterdam |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
Coalgebra modal logic cut elimination conditional logic coalition logic |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
18. 06. 2008 |
