Skip navigation
Skip navigation

Admissibility of Cut in Coalgebraic Logics

Pattinson, Dirk; Schroder, Lutz


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.

CollectionsANU Research Publications
Date published: 2008
Type: Journal article
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2008.05.027


File Description SizeFormat Image
01_Pattinson_Admissibility_of_Cut_in_2008.pdf272.55 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator