DMCA
Admissibility of Cut in Coalgebraic Logics (2008)
by
Dirk Pattinson
,
Lutz Schröder
| Venue: | CMCS |
| Citations: | 8 - 7 self |
BibTeX
@MISC{Pattinson08admissibilityof,
author = {Dirk Pattinson and Lutz Schröder},
title = { Admissibility of Cut in Coalgebraic Logics},
year = {2008}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
