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) befindet sich 11th European Joint Conferences on Theory and Practice of Software (ETAPS 2008) April 4-6 Budapest Hungary Seiten 221-241 Electronic Notes in Theoretical Computer Science (ENTCS) 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