Admissibility of Cut in Coalgebraic Logics
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.
|Collections||ANU Research Publications|
|Source:||Electronic Notes in Theoretical Computer Science|
|01_Pattinson_Admissibility_of_Cut_in_2008.pdf||272.55 kB||Adobe PDF||Request a copy|