Journal of Philosophical Logic 26 (6):671-696 (1997)
Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cutelimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations  of the systems considered can be presented as encodings of Kripke-style formulations
|Categories||categorize this paper)|
References found in this work BETA
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.
Citations of this work BETA
Tableaux and Hypersequents for Justification Logics.Hidenori Kurokawa - 2012 - Annals of Pure and Applied Logic 163 (7):831-853.
Display Calculi and Other Modal Calculi: A Comparison.Francesca Poggiolesi - 2010 - Synthese 173 (3):259-279.
Sufficient Conditions for Cut Elimination with Complexity Analysis.Joao Rasga - 2007 - Annals of Pure and Applied Logic 149 (1):81-99.
Interpolation Theorems for Intuitionistic Predicate Logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.
Similar books and articles
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Gore, Linda Postniece & Alwen Tiu - unknown
Valentini's Cut-Elimination for Provability Logic Resolved.Rajeev Gore & Revantha Ramanayake - 2012 - Review of Symbolic Logic 5 (2):212-238.
A Cut-Free Gentzen Formulation of Basic Propositional Calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Protoalgebraic Gentzen Systems and the Cut Rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.
On Some Proof Theoretical Properties of the Modal Logic GL.Marco Borga - 1983 - Studia Logica 42 (4):453 - 459.
Proof Normalization Modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Added to index2009-01-28
Total downloads30 ( #164,010 of 2,143,562 )
Recent downloads (6 months)1 ( #386,856 of 2,143,562 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.