Admissibility of Cut in Coalgebraic Logics

Dirk Pattinson*, Lutz Schröder

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

11 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)221-241
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Volume203
Issue number5
DOIs
Publication statusPublished - 12 Jun 2008
Externally publishedYes

Fingerprint

Dive into the research topics of 'Admissibility of Cut in Coalgebraic Logics'. Together they form a unique fingerprint.

Cite this