Admissibility of Cut in Coalgebraic Logics

Dirk Pattinson; Lutz Schröder

In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), located at 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008), April 4-6, Budapest, Hungary, Pages 221-241, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 203, Elsevier, Amsterdam, 2008.


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.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence