Cut elimination for shallow modal logics
-
Altmetric Citations
Lellmann, Bjorn; Pattinson, Dirk
Description
Motivated by the fact that nearly all conditional logics are axiomatised by so-called shallow axioms (axioms with modal nesting depth ≤ 1) we investigate sequent calculi and cut elimination for modal logics of this type. We first provide a generic trans
Collections | ANU Research Publications |
---|---|
Date published: | 2011 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/83159 |
Source: | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) |
DOI: | 10.1007/978-3-642-22119-4_17 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Lellmann_Cut_elimination_for_shallow_2011.pdf | 217 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator