Skip navigation
Skip navigation

Generic modal cut elimination applied to conditional logics

Pattinson, Dirk; Schroder, Lutz

Description

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
URI: http://hdl.handle.net/1885/84125
Source: Proceedings of International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009)
DOI: 10.1007/978-3-642-02716-1_21

Download

File Description SizeFormat Image
01_Pattinson_Generic_modal_cut_elimination_2009.pdf234.27 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