Generic modal cut elimination applied to conditional logics
Loading...
Date
Authors
Pattinson, Dirk
Schroder, Lutz
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
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
Citation
Collections
Source
Proceedings of International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009)
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31