Generic modal cut elimination applied to conditional logics
Date
2011
Authors
Pattinson, Dirk
Schroder, Lutz
Journal Title
Journal ISSN
Volume Title
Publisher
International Federation of Computational Logic (IfCoLog)
Abstract
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
Description
Keywords
Keywords: Conditional logic; Cut elimination; Modal logic; Proof theory
Citation
Collections
Source
Logical Methods in Computer Science
Type
Journal article
Book Title
Entity type
Access Statement
Open Access