Admissibility of Cut in Coalgebraic Logics
Loading...
Date
Authors
Pattinson, Dirk
Schroder, Lutz
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
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.
Description
Citation
Collections
Source
Electronic Notes in Theoretical Computer Science
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description