Skip navigation
Skip navigation

Admissibility of Cut in Coalgebraic Logics

Pattinson, Dirk; Schroder, Lutz

Description

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
URI: http://hdl.handle.net/1885/82088
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2008.05.027

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator